@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
| Autor(en): | Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz und Mana Taghdiri |
|---|---|
| In: | 6th NASA Formal Methods Symposium (NFM 2014) |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 8430 |
| Jahr: | 2014 |
| Seiten: | 173-187 |
| Preprint/PDF: | nfm2014.pdf |
| DOI: | 10.1007/978-3-319-06200-6_13 |