@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
| Autor(en): | Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi und Mana Taghdiri |
|---|---|
| Institution: | Department of Informatics, Karlsruhe Institute of Technology |
| Reihe: | Karlsruhe Reports in Informatics |
| Nummer: | 2011,37 |
| Jahr: | 2011 |
| DOI: | 10.5445/IR/1000025523 |