On Verifying Relational Specifications of Java Programs with JKelloy

Technical Report

Author(s):Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, and Mana Taghdiri
Institution:Department of Informatics, Karlsruhe Institute of Technology
Series:Karlsruhe Reports in Informatics
Number:2014,3
Year:2014

BibTeX

@techreport{ElGhaziUlbrichGladisch2014,
  author       = {Aboubakr Achraf {El Ghazi} and Mattias Ulbrich and
                  Christoph Gladisch and Shmuel Tyszberowicz and Mana Taghdiri},
  year         = {2014},
  month        = mar,
  title        = {On Verifying Relational Specifications of Java Programs
                  with JKelloy},
  institution  = {Department of Informatics, Karlsruhe Institute of Technology},
  issn         = {2190-4782},
  series       = {Karlsruhe Reports in Informatics},
  number       = {2014,3}
}