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

Painless Support for Static and Runtime Verification of Com..:

Gaspar, Nuno ; Henrio, Ludovic ; Madelaine, Eric
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-24644-4_18.  , 2015
Link: https://inria.hal.science/hal-01168757