Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7--9, Koblenz, Germany

Bernhard Aichernig (Herausgeber), Bernhard Beckert (Herausgeber)

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

Originalspracheenglisch
VerlagIEEE Computer Society
ISBN (Print)0-7695-2435-4
PublikationsstatusVeröffentlicht - 2005

Dieses zitieren