Search alternatives:
automatic theorem » automated theorem, automata theory
languages » language
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Proving -- Certifying Model Checkers -- Formalizing a JVML Verifier for Initialization in a Theorem Prover...”