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/ReportAnthology

Original languageEnglish
PublisherIEEE Computer Society
ISBN (Print)0-7695-2435-4
Publication statusPublished - 2005
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this