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)

Institute of Software Technology (7160)

Research output: Book/Report › Anthology

1 results

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