In:
|
Lecture Notes in Computer Science, (2016)Chaudhuri, S. (ed.), Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, pp. 454-471
|
Journal title:
|
Lecture Notes in Computer Science
|
Book title:
|
Chaudhuri, S. (ed.), Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II |