| Shelfclass_id | 3.N |
| Sortkey | FMSE |
| Title | FMSE '07: Formal Methods in Security Engineering: Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering, Fairfax, Virginia, USA, November 2, 2007 |
| Publisher | ACM Press |
| Year | 2007 |
| Languages | eng |
| Isbn | 9781595938879 |
| Record date | 20080523 |
| Location | New York |
| Notes | ACM Order Number 459072 |