QuoteRef: merrG12_1983

Reference

Merrill, G., "Proofs, program correctness, and software engineering", SIGPLAN, 18, 12, pp. 96-105, December 1983. Google

Subtopic: Quote: discussion of importance of formal proofs for proving programs

Related Topics

ThesaHelp: references m-o (268 items)
Group: program proving   (10 topics, 310 quotes)