![](/img/cover-not-exists.png)
[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Formal verification of data-intensive applications through model checking modulo theories
Bersani, Marcello M., Marconi, Francesco, Rossi, Matteo, Erascu, Madalina, Ghilardi, SilvioYear:
2017
Language:
english
DOI:
10.1145/3092282.3092300
File:
PDF, 729 KB
english, 2017