Publikationen

In: Stefan Berghofer , Tobias Nipkow , Christian Urban , Makarius Wenzel (Hrsg.). Theorem Proving in Higher Order Logics, 22nd International Conference. International Conference on Theorem Proving in Higher Order Logics (TPHOLs-09) August 17-20 Munich Germany Seiten 23-42 Lecture Notes in Computer Science (LNCS) 5674 ISBN 978-3-642-03358-2 Springer 8/2009.

Zur Publikation

In: Proceedings of the 4th International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-2009) June 22-24 Aachen Germany Seiten 123-141 Electronic Notes in Theoretical Computer Science 254 Elsevier Science B.V. 2009.

Zur Publikation

In: 16th International Symposium on Formal Methods. International Symposium on Formal Methods (FM-2009) November 2-6 Eindhoven Netherlands Seiten 806-809 Lecture Notes in Computer Science 5850 Springer 2009.

Zur Publikation

In: Ralf Huuck , Gerwin Klein , Bastian Schlich (Hrsg.). Proceedings of the 3rd International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-08) 3rd February 25-27 Sydney NSW Australia Seiten 23-40 Electronic Notes in Theoretical Computer Science (ENTCS) 217 Elsevier Science B. V. 2008.

Zur Publikation

In: Natarajan Shankar , Jim Woodcock (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, Tools, Experiments (VSTTE-08) Second International Conference October 6-9 Toronto ON Canada Seiten 209-224 Lecture Notes in Computer Science (LNCS) 5295 ISBN 978-3-540-87872-8 Springer 2008.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence