TU Darmstadt / ULB / TUbiblio

Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools

Hähnle, Reiner and Huisman, Marieke Steffen, Bernhard and Woeginger, Gerhard J. (eds.) (2019):
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Lecture Notes in Computer Science, 10000, In: Computing and Software Science - State of the Art and Perspectives, pp. 345-373, Springer, DOI: 10.1007/978-3-319-91908-9_18,
[Book Section]

Item Type: Book Section
Erschienen: 2019
Editors: Steffen, Bernhard and Woeginger, Gerhard J.
Creators: Hähnle, Reiner and Huisman, Marieke
Title: Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
Language: English
Title of Book: Computing and Software Science - State of the Art and Perspectives
Series Name: Lecture Notes in Computer Science
Volume: 10000
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 29 Nov 2019 05:50
DOI: 10.1007/978-3-319-91908-9_18
Official URL: https://doi.org/10.1007/978-3-319-91908-9\_18
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details