Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

On Proving Alloy Specifications using KeY

Technischer Bericht

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

BibTeX

@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}
}