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

SIMPAL: a compositional reasoning framework for imperative ..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,
Wagner, Lucas ; Greve, David ; Gacek, Andrew - p. 90-93 , 2017
Link: https://dl.acm.org/doi/10.1145/3092282.3092290