Subtopic: Quote: discussion of importance of formal proofs for proving programs
"Proofs, program correctness, and software engineering",
SIGPLAN, 18, 12, pp. 96-105, December 1983.
ThesaHelp: references m-o (268 items)
Group: program proving (10 topics, 310 quotes)