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

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... to higher order logic programming -- Human-style theorem proving using PVS -- A hybrid approach to verifying...”