Media type: E-Book Title: On Proving Alloy Specifications Using KeY Contributor: Ulbrich, Mattias [Other]; Geilmann, Ulrich [Other]; El Ghazi, Aboubakr Achraf [Other] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2011 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,37 Extent: Online-Ressource Language: English Origination: Footnote: Access State: Open Access