@INPROCEEDINGS{elghazi-ulbrich-gladisch-Tyszberowicz-taghdiri-nfm2014,
author = {Aboubakr Achraf {El Ghazi} and Mattias Ulbrich and Christoph Gladisch and
Shmuel Tyszberowicz and Mana Taghdiri},
title = {JKelloy: A Proof Assistant for Relational Specifications of Java
Programs},
booktitle = {6th NASA Formal Methods Symposium (NFM 2014)},
year = {2014},
month = may,
pages = {173--187},
publisher = {Springer},
series = {LNCS},
volume = {8430},
doi = {10.1007/978-3-319-06200-6_13}
}
JKelloy: A Proof Assistant for Relational Specifications of Java Programs
| Author(s): | Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, and Mana Taghdiri |
|---|---|
| In: | 6th NASA Formal Methods Symposium (NFM 2014) |
| Publisher: | Springer |
| Series: | LNCS |
| Volume: | 8430 |
| Year: | 2014 |
| Pages: | 173-187 |
| Preprint/PDF: | nfm2014.pdf |
| DOI: | 10.1007/978-3-319-06200-6_13 |