Dr. C. Anthony R. Hoare

From Scholarpedia

Curator of Scholarpedia

Microsoft Research/Oxford University

Author of:
Hoare logic
invitations
28 March 2008Hoare logicto author (agreed)

(There is currently no text in this page)

Retrieved from "http://www.scholarpedia.org/article/User:Hoare"
For authors