Logic and Formal Methods

Verifying the Mondex Case Study

  • Author(s):

    Peter H. Schmitt
    Isabel Tonin

  • Source:

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