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

FMSE 2006: Alexandria, VA, USA

Marianne Winslett, Andrew D. Gordon, David Sands (Eds.): Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006. ACM 2006, ISBN 1-59593-550-9 BibTeX

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