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

Bernhard Aichernig (Editor), Bernhard Beckert (Editor)

Research output: Book/ReportAnthologyResearch

LanguageEnglish
PublisherIEEE Computer Society
ISBN (Print)0-7695-2435-4
StatusPublished - 2005

Cite this

Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7--9, Koblenz, Germany. / Aichernig, Bernhard (Editor); Beckert, Bernhard (Editor).

IEEE Computer Society, 2005.

Research output: Book/ReportAnthologyResearch

@book{6e0e7bd715e14823981bc0a124b59f90,
title = "Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, September 7--9, Koblenz, Germany",
editor = "Bernhard Aichernig and Bernhard Beckert",
year = "2005",
language = "English",
isbn = "0-7695-2435-4",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - BOOK

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

A2 - Aichernig, Bernhard

A2 - Beckert, Bernhard

PY - 2005

Y1 - 2005

M3 - Anthology

SN - 0-7695-2435-4

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

PB - IEEE Computer Society

ER -