Skip navigation
  • Home
  • Browse
    • Communities
      & Collections
    • Browse Items by:
    • Publication Date
    • Author
    • Title
    • Subject
    • Department
  • Sign on to:
    • My MacSphere
    • Receive email
      updates
    • Edit Profile


McMaster University Home Page
  1. MacSphere

Browsing by Subject Formal Verification

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 
Showing results 1 to 1 of 1
Publication DateTitleAuthor(s)
Apr-2014Formal Proof of the Fundamental Theorem of Decorated Interval ArithmeticZheng, Bingzhou; Zheng, Bingzhou
Showing results 1 to 1 of 1
Sherman Centre for Digital Scholarship     McMaster University Libraries
©2022 McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 4L8 | 905-525-9140 | Contact Us | Terms of Use & Privacy Policy | Feedback

Report Accessibility Issue