| 
|
Quote: discussion of importance of formal proofs for proving programs
topics >
all references >
references m-o >
Group:
program proving
Note
discussion of formal proofs, that lambastes informal proofs as being incomplete and discusses proving programs.
Group: program proving (10 topics, 310 quotes)