Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
| Title | Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II |
| Publication Type | Conference Proceedings |
| Year of Publication | 2015 |
| Secondary Authors | Daniel Kroening, Corina S. Pasareanu |
| Conference Name | Lecture Notes in Computer Science |
| Volume | 9207 |
| Publisher | Springer |
| ISBN Number | 978-3-319-21667-6 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/978-3-319-21668-3 |
| DOI | 10.1007/978-3-319-21668-3 |
| Citation Key | DBLP:conf/cav/2015 |