ThesaHelp: references pr
ThesaHelp: ACM references mz
Topic: program proof via assertions
Topic: theorem proving systems
Topic: manmachine symbiosis
 
Reference
Pratt, V.R.,
"On specifying verifiers ",
ACM Principles of Programming Languages , pp. 106116 , 1980.
Google
Quotations
109 ;;Quote: a proof is a set of correct assertions; use a proof system to keep track of proved and unproved assertions

Related Topics
ThesaHelp: references pr (245 items)
ThesaHelp: ACM references mz (280 items)
Topic: program proof via assertions (61 items)
Topic: theorem proving systems (20 items)
Topic: manmachine symbiosis (46 items)
