dblp.uni-trier.de www.uni-trier.de

FMSE 2007: Fairfax, VA, USA

Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel (Eds.): Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. ACM 2007, ISBN 978-1-59593-887-9 BibTeX

Copyright © Sat May 16 23:00:56 2009 by Michael Ley (ley@uni-trier.de)