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

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk -- Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle...”
Cover Image
Read Now

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...-order chaotic iteration sequences -- Proving the correctness of compiler optimisations based...”