Formal methods for components and objects :
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 62877554
- Subject: Formal methods (Computer science) Congresses.
- Subject code: QA
- Publication history: 1st (Nov. 5-8, 2002)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2002-2004 | permanent |