Verifying the Mondex Case Study.

Peter H. Schmitt, Isabel Tonin

Browse the full SEFM paper archive.