Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerVypredaná4,3Postrážiť