Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany

Bernhard K. Aichernig Bernhard Beckert Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany SEFM IEEE Computer Society 2005 0-7695-2435-4 db/conf/sefm/sefm2005.html