Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering / sponsored by ACM SIGSAC.
| Author/creator | ACM Workshop on Formal Methods in Security Engineering |
| Other author | Association for Computing Machinery. Special Interest Group on Security, Audit, and Control. |
| Format | Book |
| Publication Info | New York : Association for Computing Machinery, 2003- |
| Description | volumes : illustrations ; 28 cm |
| Subjects |
| Variant title | At head of title: FMSE |
| Portion of title | ACM Workshop on Formal Methods in Security Engineering |
| Portion of title | Formal Methods in Security Engineering |
| General note | 2003 conference co-located with CCS'03, the 10th ACM Conference on Computer and Communications Security, in Washington, D.C. |
| Special numbering | 2003 Workshop called also 1st. |
| LCCN | 2004242062 |
Holdings
| Library | Location | Holdings |
|---|---|---|
| Joyner |
General Stacks
QA 76.9 A25 A343 |
(2004) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.9.A25 A343 2004 | ✔ Available | Place Hold |