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

9. ICFEM 2007: Boca Raton, FL, USA

Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (Eds.): Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Lecture Notes in Computer Science 4789 Springer 2007, ISBN 978-3-540-76648-3 BibTeX

Invited Talks

Security and Knowledge

Embedded Systems

Testing

Automated Analysis

Hardware

Concurrency

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