Software Engineering and Formal Methods
Bernhard Aichernig, Bernhard Beckert (eds.)
This volume contains the research papers presented at the Third IEEE
International Conference on Software Engineering and Formal Methods
(SEFM 2005) held 7-9 September 2005 in Koblenz, Germany.
SEFM 2005 aimed to bring together practitioners and researchers from
academia, industry and government to advance the state of the art in
formal methods, to scale up their application in software industry and
to encourage their integration with practical engineering methods.