Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

JKelloy: A Proof Assistant for Relational Specifications of Java Programs

Begutachtete Veröffentlichung in Tagungsband

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

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