Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerAusverkauft4,3Bewachen