Home | deutsch  | Legals | Sitemap | KIT

Verifying the Mondex Case Study: The KeY Approach

Verifying the Mondex Case Study: The KeY Approach
Author(s):

Isabel Tonin

Source:

Technical Report 2007-4, Universität Karlsruhe