Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017
| Title | Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017 |
| Publication Type | Conference Proceedings |
| Year of Publication | 2017 |
| Secondary Authors | Hakan Erdogmus, Klaus Havelund |
| Publisher | ACM |
| ISBN Number | 978-1-4503-5077-8 |
| Keywords | 1329759 |
| URL | http://dl.acm.org/citation.cfm?id=3092282 |
| Citation Key | DBLP:conf/spin/2017 |