Research Catalog
Proceedings of FMSP
- Title
- Proceedings of FMSP / Workshop on Formal Methods in Software Practice.
- Author
- Workshop on Formal Methods in Software Practice.
- Publication
- New York, N.Y. : Association for Computing Machinery
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| 3rd 2000 | Text | Request in advance | QA76.76.D47 W66 3rd 2000 | Off-site |
Details
- Additional Authors
- ACM Sigsoft.
- Description
- volumes : illustrations; 28 cm
- Alternative Title
- FMSP
- Proceedings of Formal Methods in Software Practice
- Subject
- Note
- Description based on: 2nd ('98).
- Issued By (note)
- Sponsored by ACM SIGSOFT.
- LCCN
- sn 99034811
- OCLC
- ocm39146160
- SCSB-4038104
- Owning Institutions
- Columbia University Libraries