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.