TU Darmstadt / ULB / TUbiblio

Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Hähnle, Reiner and Knoop, Jens and Margaria, Tiziana and Schreiner, Dietmar and Steffen, Bernhard (eds.) (2012):
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers.
In: Communications in Computer and Information Science, 336, Springer, ISBN 978-3-642-34780-1,
DOI: 10.1007/978-3-642-34781-8,
[Book]

Item Type: Book
Erschienen: 2012
Editors: Hähnle, Reiner and Knoop, Jens and Margaria, Tiziana and Schreiner, Dietmar and Steffen, Bernhard
Title: Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Language: German
Series Name: Communications in Computer and Information Science
Volume: 336
Publisher: Springer
ISBN: 978-3-642-34780-1
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:53
DOI: 10.1007/978-3-642-34781-8
Official URL: https://doi.org/10.1007/978-3-642-34781-8
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