Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerAgotado4,3Notifícame