[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - Verige: verification with invariant generation engine
Latorre, Nicolas, Alberti, Francesco, Sharygina, NatashaYear:
2014
Language:
english
DOI:
10.1145/2632362.2632373
File:
PDF, 357 KB
english, 2014