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

Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. IEEE Computer Society, 2005.

Conference: sefm2005

Abstract

Abstract is missing.

Table of Contents