Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi.
By: (18th : International SPIN Workshop (18th : 2011 : Snowbird, USA)
.
Contributor(s): Musuvathi, Madanlal [edt.]
| Groce, Alex [edt.]
.
Material type: ![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
National Library of India | Available | NLI-EBK000001766ENG |