Verifying the Mondex Case Study - The KeY Approach / Isabel Tonin
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Interner Bericht ; 2007,4Publisher: Karlsruhe : Universität Karlsruhe, Fakultät für Informatik, 2007Description: Online-RessourceAdditional physical formats: Druckausg.: Verifying the Mondex case study - the KeY approach. Karlsruhe : Universität Karlsruhe, Fakultät für Informatik, 2007. 77 S.Online resources: Notes: Anmerkungen: Elektronische Ressource - Zugang über WWWNote: Hinweis: Elektronische Ressource - Zugang über WWWPPN: PPN: 1645666670No physical items for this record