• Universitätsprofessur für Formal Methods

    Johannes Kepler Universität Linz
    Linz