I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Verified resource guarantees using COSTA and KeY:

, In: Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation,
Albert, Elvira ; Bubel, Richard ; Genaim, Samir... - p. 73-76 , 2011
Link: https://dl.acm.org/doi/10.1145/1929501.1929513