TY -
GEN
AU - Ulbrich, Mattias
AU - Geilmann, Ulrich
AU - El Ghazi, Aboubakr Achraf
TI -
On Proving Alloy Specifications Using KeY
PB - KIT, Fakultät für Informatik
PY - 2011
BT - Karlsruhe reports in informatics ; 2011,37
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -