![](/img/cover-not-exists.png)
[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - Conditional model checking
Beyer, Dirk, Henzinger, Thomas A., Keremoglu, M. Erkan, Wendler, PhilippYear:
2012
Language:
english
DOI:
10.1145/2393596.2393664
File:
PDF, 950 KB
english, 2012