Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerUitverkocht4,3Hou mij op de hoogte