TU Darmstadt / ULB / TUbiblio

Modular Specification and Verification

Grahl, Daniel and Bubel, Richard and Mostowski, Wojciech and Schmitt, Peter H. and Ulbrich, Mattias and Weiß, Benjamin Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Modular Specification and Verification.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 289-351, DOI: 10.1007/978-3-319-49812-6₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_9],
[Book Section]

Item Type: Book Section
Erschienen: 2016
Editors: Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias
Creators: Grahl, Daniel and Bubel, Richard and Mostowski, Wojciech and Schmitt, Peter H. and Ulbrich, Mattias and Weiß, Benjamin
Title: Modular Specification and Verification
Language: German
Title of Book: Deductive Software Verification - The KeY Book - From Theory to Practice
Series Name: Lecture Notes in Computer Science
Volume: 10001
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:52
DOI: 10.1007/978-3-319-49812-6₉
Official URL: https://doi.org/10.1007/978-3-319-49812-6_9
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item