Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering /
- Publisher: Association for Computing Machinery
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 54751187
- Subject: Computer security Congresses.
- Subject code: QA
- Publication history: 1st (2003)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 2003-2005 | permanent |