Institute for Formal Models and Verification Institution233169
FMVUniversity of LinzAutrichehttps://www.jku.at/institut-fuer-formale-modelle-und-verifikation/
University of Linz - Johannes Kepler Universität Linz Regroupement d'Institutions1099890
JKUAltenberger Straße 69 4040 Linz, AustriaIdRef : 080677193ISNI : 0000000119415140Autrichehttps://www.jku.at/Date de création : samedi 1 janvier 1966