@TechReport{ulbrichGeilmannElGhaziTaghdiri2011, title = {On Proving Alloy Specifications using {\KeY}}, author = {Mattias Ulbrich and Ulrich Geilmann and Aboubakr Achraf {El Ghazi} and Mana Taghdiri}, institution = {Department of Informatics, Karlsruhe Institute of Technology}, year = {2011}, month = dec, series = {Karlsruhe Reports in Informatics}, number = {2011,37}, doi = {10.5445/IR/1000025523}, issn = {2190-4782} }
On Proving Alloy Specifications using KeY
Author(s): | Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, and Mana Taghdiri |
---|---|
Institution: | Department of Informatics, Karlsruhe Institute of Technology |
Series: | Karlsruhe Reports in Informatics |
Number: | 2011,37 |
Year: | 2011 |
DOI: | 10.5445/IR/1000025523 |