Content deleted Content added
{{Citations missing|date=September 2007}} - Citations missing at article level |
Antonielly (talk | contribs) added: reference to Eiffel |
||
Line 5:
The idea of developing the program together with its proof originated from [[Edsger Dijkstra|E.W. Dijkstra]]. Actually writing invariants before program statements has been considered in a number of different forms by M.H. van Emden, [[John C. Reynolds|J.C. Reynolds]] and [[Ralph-Johan Back|R-J Back]].
== See also ==
[[Eiffel (programming language)]]
[[Category:Formal methods]]
| |||