FM ... formal methods.
- Publisher: Springer
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 42715066
- Subject: Formal methods (Computer science) Congresses.
- Subject code: QA
- Publication history: '99-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1999 pt.1; 1999 pt.2 | permanent |