SEFM 2005: SEFM - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

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.

runs on WebDSL