![](/img/cover-not-exists.png)
[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - SMT-based verification of parameterized systems
Gurfinkel, Arie, Shoham, Sharon, Meshman, YuriYear:
2016
Language:
english
DOI:
10.1145/2950290.2950330
File:
PDF, 368 KB
english, 2016