TU Darmstadt / ULB / TUbiblio

Verified Resource Guarantees for Heap Manipulating Programs

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Román-Díez, Guillermo (2012):
Verified Resource Guarantees for Heap Manipulating Programs.
In: Lecture Notes in Computer Science, 7212, In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), Springer-Verlag, pp. 130-145, DOI: 10.1007/978-3-642-28872-2,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2012
Creators: Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Román-Díez, Guillermo
Title: Verified Resource Guarantees for Heap Manipulating Programs
Language: German
Title of Book: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)
Series Name: Lecture Notes in Computer Science
Volume: 7212
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science > Formal Methods in System Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1007/978-3-642-28872-2
Identification Number: TUD-CS-2012-0199
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item