Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

JKelloy: A Proof Assistant for Relational Specifications of Java Programs

Reviewed Paper In Proceedings

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

BibTeX

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