Cornelia Pusch und Verification - Info zur Person

(1 - 5 von 11

)

Computer Aided Verification: 13th International Conference, CAV 2001,...

books.google.ae

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July...

Computer Aided Verification: ... International Conference, CAV

books.google.de

Tobias Nipkow, David von Oheimb, and Cornelia Pusch. μJava: Embedding a programming language in a theorem prover. In Friedrich L. Bauer and Ralf Steinbr ...

Formal Verification of a Java Compiler in Isabelle

studyres.com

Find the training resources you need for all your activities. Studyres contains millions of educational documents, questions and answers, notes about the...