Scholarpedia is supported by Brain Corporation
User:Eugene M. Izhikevich/Proposed/Hoare logic
From Scholarpedia
Dr. C. Anthony R. Hoare accepted the invitation on 8 April 2008 (self-imposed deadline: 8 October 2008).
