TU Darmstadt / ULB / TUbiblio

Reuse in Software Verification by Abstract Method Calls

Hähnle, Reiner and Schaefer, Ina and Bubel, Richard Bonacina, Maria Paola (ed.) (2013):
Reuse in Software Verification by Abstract Method Calls.
In: Lecture Notes in Computer Science, In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings, Springer, pp. 300-314, [Book Section]

Item Type: Book Section
Erschienen: 2013
Editors: Bonacina, Maria Paola
Creators: Hähnle, Reiner and Schaefer, Ina and Bubel, Richard
Title: Reuse in Software Verification by Abstract Method Calls
Language: English
Title of Book: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings
Series Name: Lecture Notes in Computer Science
Number: 7898
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Formal Methods in System Engineering
20 Department of Computer Science > Software Engineering
Event Location: Lake Placid, NY
Event Dates: 9.-14. Juni 2013
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2013-0087
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item