University home | Studying | Research | Business and community | Working here | Alumni and supporters | Our departments | Visiting us | About us

• Homepage
• Key Information
  • Almanac
  • Building Access
  • Building Maps
  • College Policies
  • College Structure
  • Key Academic Roles
  • Academic Groups
  • Key Professional Service Contacts
  • Staff Profiles
    • Academic Staff
    • Research Staff
    • Postgraduate Research Students
    • Professional Services Staff
    • Honorary Staff and Visitors
    • All Staff
  • Events and Colloquia
  • Useful Links
• Students
• Staff
• PGR
• Health and Safety
• Computer Support
• National Student Survey (NSS)
• Intranet Help

Teddy Cameron-Burke

Publications

_{Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.}

2024

• Brucker AD, Cameron-burke T, Stell A. (2024) Formally Verified Interval Arithmetic and Its Application to Program Verification, FormaliSE 2024, Lisbon, Portugal, 14th - 15th Apr 2024, 13th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2024), DOI:10.1145/3644033.3644370.

Showing 1 publications from Symplectic.