Hoare logic

From Scholarpedia
This article has not yet been published; it may contain inaccuracies, unapproved changes, or be unfinished.
Jump to: navigation, search

Dr. C. Anthony R. Hoare accepted the invitation on 8 April 2008 (self-imposed deadline: 8 October 2008).

Personal tools
Namespaces
Variants
Actions
Navigation
Focal areas
Activity
Toolbox