@inproceedings{DBLP:conf/nfm/GhaziUGTT14,
  author    = {Aboubakr Achraf El Ghazi and
               Mattias Ulbrich and
               Christoph Gladisch and
               Shmuel S. Tyszberowicz and
               Mana Taghdiri},
  editor    = {Julia M. Badger and
               Kristin Yvonne Rozier},
  title     = {JKelloy: {A} Proof Assistant for Relational Specifications of Java
               Programs},
  booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
               TX, USA, April 29 - May 1, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8430},
  pages     = {173--187},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6\_13},
  doi       = {10.1007/978-3-319-06200-6\_13},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/nfm/GhaziUGTT14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"grH4f3zzBcncAM3tj","bibbaseid":"ghazi-ulbrich-gladisch-tyszberowicz-taghdiri-jkelloyaproofassistantforrelationalspecificationsofjavaprograms-2014","author_short":["Ghazi, A. A. E.","Ulbrich, M.","Gladisch, C.","Tyszberowicz, S. S.","Taghdiri, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Aboubakr","Achraf","El"],"propositions":[],"lastnames":["Ghazi"],"suffixes":[]},{"firstnames":["Mattias"],"propositions":[],"lastnames":["Ulbrich"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Gladisch"],"suffixes":[]},{"firstnames":["Shmuel","S."],"propositions":[],"lastnames":["Tyszberowicz"],"suffixes":[]},{"firstnames":["Mana"],"propositions":[],"lastnames":["Taghdiri"],"suffixes":[]}],"editor":[{"firstnames":["Julia","M."],"propositions":[],"lastnames":["Badger"],"suffixes":[]},{"firstnames":["Kristin","Yvonne"],"propositions":[],"lastnames":["Rozier"],"suffixes":[]}],"title":"JKelloy: A Proof Assistant for Relational Specifications of Java Programs","booktitle":"NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8430","pages":"173–187","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-06200-6_13","doi":"10.1007/978-3-319-06200-6_13","timestamp":"Tue, 14 May 2019 10:00:53 +0200","biburl":"https://dblp.org/rec/conf/nfm/GhaziUGTT14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/nfm/GhaziUGTT14,\n author = {Aboubakr Achraf El Ghazi and\n Mattias Ulbrich and\n Christoph Gladisch and\n Shmuel S. Tyszberowicz and\n Mana Taghdiri},\n editor = {Julia M. Badger and\n Kristin Yvonne Rozier},\n title = {JKelloy: {A} Proof Assistant for Relational Specifications of Java\n Programs},\n booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,\n TX, USA, April 29 - May 1, 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8430},\n pages = {173--187},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-06200-6\\_13},\n doi = {10.1007/978-3-319-06200-6\\_13},\n timestamp = {Tue, 14 May 2019 10:00:53 +0200},\n biburl = {https://dblp.org/rec/conf/nfm/GhaziUGTT14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ghazi, A. A. E.","Ulbrich, M.","Gladisch, C.","Tyszberowicz, S. S.","Taghdiri, M."],"editor_short":["Badger, J. M.","Rozier, K. Y."],"key":"DBLP:conf/nfm/GhaziUGTT14","id":"DBLP:conf/nfm/GhaziUGTT14","bibbaseid":"ghazi-ulbrich-gladisch-tyszberowicz-taghdiri-jkelloyaproofassistantforrelationalspecificationsofjavaprograms-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-06200-6_13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/21/9798.bib","dataSources":["N8rnhcwi94dDgM4tT"],"keywords":[],"search_terms":["jkelloy","proof","assistant","relational","specifications","java","programs","ghazi","ulbrich","gladisch","tyszberowicz","taghdiri"],"title":"JKelloy: A Proof Assistant for Relational Specifications of Java Programs","year":2014}