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/Report › Anthology

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

@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 -