Home | deutsch  | Legals | Sitemap | KIT

Verifying the Mondex Case Study

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