Automated technology for verification and analysis :
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 244167925
- Subject: Automatic theorem proving Congresses.
- Subject code: QA
- Publication history: 2nd (Oct. 31-Nov. 3, 2004)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2004-2005 | permanent |