Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerÉpuisé4,3Prévenez-moi