Model checking software :
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 50544989
- Subject: Computer software Verification Congresses.
- Subject code: QA
- Publication history: 8th (May 19-20, 2001)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2001-2006 | permanent |