Media type: E-Book; Report; Text Title: On Proving Alloy Specifications Using KeY Contributor: Ulbrich, Mattias [Author]; Geilmann, Ulrich [Author]; El Ghazi, Aboubakr Achraf [Author]; Taghdiri, Mana [Author] imprint: Karlsruher Institut für Technologie, 2011-01-01 Language: English DOI: https://doi.org/10.5445/IR/1000025523 ISSN: 2190-4782 Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access