Logik und Formale Methoden

Verifying the Mondex Case Study

  • Autor(en):

    Peter H. Schmitt
    Isabel Tonin

  • Quelle:

    5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07), London, UK. IEEE Press, 2007