TU Darmstadt / ULB / TUbiblio

The KeY tool: integrating object oriented design and formal verification

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter (2005):
The KeY tool: integrating object oriented design and formal verification.
4, In: Software and System Modeling, (1), p. 32, DOI: 0.1007/s10270-004-0058-x,
[Online-Edition: http://www.springerlink.com/index/10.1007/s10270-004-0058-x],
[Article]

Item Type: Article
Erschienen: 2005
Creators: Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter
Title: The KeY tool: integrating object oriented design and formal verification
Language: English
Journal or Publication Title: Software and System Modeling
Volume: 4
Number: 1
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
DOI: 0.1007/s10270-004-0058-x
Official URL: http://www.springerlink.com/index/10.1007/s10270-004-0058-x
Identification Number: KeYSoSysM
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item