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

5. SEFM 2007: London, England

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. IEEE Computer Society 2007, ISBN 978-0-7695-2884-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Keynote Talk

Software Engineering 1

Mondex/VSI Challenge

Applications

Reasoning

Keynote Talk

Logics

Semantics

Telecommunications

Testing and Model Checking

Keynote Talk

Software Engineering II

Services

Security and Safety

Specification and Verification

Copyright © Mon Nov 2 21:08:26 2009 by Michael Ley (ley@uni-trier.de)