This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '08
 Baumgartner,G
 pts, formal methods, Hoare logic, Hoare, Egyptian Multiplication algorithm

Click to edit the document details