Hoare logic
From Scholarpedia
This article has not yet been published; it may contain inaccuracies, unapproved changes, or be unfinished.
Dr. C. Anthony R. Hoare accepted the invitation on 8 April 2008 (self-imposed deadline: 8 October 2008).
