Logik und Formale Methoden

Verifying the Mondex Case Study: The KeY Approach

  • Autor(en):

    Isabel Tonin

  • Quelle:

    Technical Report 2007-4, Universität Karlsruhe