Entscheidungen über die Einsetzbarkeit von Software anhand formaler ModelleJürgen PriemerVyprodáno4,3Pohlídat