Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...-order lazy functional language implementation: An exercise in mechanical theorem proving -- Assertions...”