Fmse'03
Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering: Washington, DC, USA, October 30, 2003: Co-Located with CCS'03
Association for Computing Machinery (ACM) (Publisher)
Published on 1. January 2003
Book
Hardback
87 pages
978-1-58113-781-1 (ISBN)
Unfortunately, price unknown
Article not available