@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}
}
On Verifying Relational Specifications of Java Programs with JKelloy
| 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 |