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

FMSE 2005: Fairfax, VA, USA

Vijay Atluri, Pierangela Samarati, Ralf Küsters, John C. Mitchell (Eds.): Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005. ACM 2005, ISBN 1-59593-231-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Session 1

Session 2

Copyright © Mon Nov 2 20:23:39 2009 by Michael Ley (ley@uni-trier.de)