ThesaHelp: references pr
Group: program proving
 
Reference
Parnas, D.L.,
"Some theorems we should prove", in Joyce, J.J., Seger, C.J. H. (ed.),
Higher Order Logic Theorem Proving and Its Applications, 6th International Workshop, HUG '93, August 1993, SpringerVerlag Lecture Notes in Computer Science , 780, pp. 155162.
Google
Quotations
abstract ;;Quote: errors and oversights are likely when preparing tabular, mathematical descriptions of functions; need many proofs of "obviously true" theorems

Related Topics
ThesaHelp: references pr (245 items)
Group: program proving (10 topics, 310 quotes)
