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

Verifying event-driven programs using ramified frame proper..:

, In: Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation,
Krishnaswami, Neel R. ; Birkedal, Lars ; Aldrich, Jonathan - p. 63-76 , 2010
Link: https://dl.acm.org/doi/10.1145/1708016.1708025