Home | english  | Impressum | Sitemap | KIT

Verifying the Mondex Case Study

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