Verification, model checking, and abstract interpretation :
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 53159811
- Subject: Computer programs Verification Congresses.
- Subject code: QA
- Publication history: 3rd (Jan. 21-22, 2002)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2002-2006 | permanent |