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

Run-time checking of data- and protocol-oriented properties..:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,
de Gouw, Stijn ; de Boer, Frank S. ; Johnsen, Einar Broch. - p. 1573-1578 , 2013
Link: https://dl.acm.org/doi/10.1145/2480362.2480656