Home | english  | Impressum | Sitemap | KIT

Verifying the Mondex Case Study: The KeY Approach

Verifying the Mondex Case Study: The KeY Approach
Autor(en):

Isabel Tonin

Quelle:

Technical Report 2007-4, Universität Karlsruhe