Formal Methods at the Crossroads. From Panacea to Foundational Support. 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University

Bernhard Aichernig (Editor), Tom Maibaum (Editor)

Research output: Book/Report › Anthology

Search results

  • Active

    Formal Methods

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

    1/01/95 → …

    Project: Research area