TU Darmstadt / ULB / TUbiblio

Verified Resource Guarantees using COSTA and KeY

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, Germán and Román-Díez, Guillermo (2011):
Verified Resource Guarantees using COSTA and KeY.
In: Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), Austin, Texas, USA, ACM Press, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2011
Creators: Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, Germán and Román-Díez, Guillermo
Title: Verified Resource Guarantees using COSTA and KeY
Language: German
Title of Book: Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), Austin, Texas, USA
Publisher: ACM Press
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: PEPM11
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item