@inproceedings{ conf/nfm/GhaziUGTT14,
  added-at = {2014-04-25T00:00:00.000+0200},
  author = {Ghazi, Aboubakr Achraf El and Ulbrich, Mattias and Gladisch, Christoph and Tyszberowicz, Shmuel S. and Taghdiri, Mana},
  biburl = {http://www.bibsonomy.org/bibtex/23e450d2f59b8323d537e49fd8a6fa649/dblp},
  booktitle = {NASA Formal Methods},
  crossref = {conf/nfm/2014},
  editor = {Badger, Julia M. and Rozier, Kristin Yvonne},
  ee = {http://dx.doi.org/10.1007/978-3-319-06200-6_13},
  interhash = {bb0f737082deccac58c9861fe1d52f1e},
  intrahash = {3e450d2f59b8323d537e49fd8a6fa649},
  isbn = {978-3-319-06199-3},
  keywords = {dblp},
  pages = {173-187},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {JKelloy: A Proof Assistant for Relational Specifications of Java Programs.},
  url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2014.html#GhaziUGTT14},
  volume = {8430},
  year = {2014}
}

{"_id":"ro4hBbE6AX7vyeeEq","bibbaseid":"ghazi-el-ulbrich-gladisch-tyszberowicz-taghdiri-jkelloyaproofassistantforrelationalspecificationsofjavaprograms-2014","downloads":0,"creationDate":"2015-05-18T23:27:44.975Z","title":"JKelloy: A Proof Assistant for Relational Specifications of Java Programs.","author_short":["Ghazi","El, A.<nbsp>A.","Ulbrich, M.","Gladisch, C.","Tyszberowicz, S.<nbsp>S.","Taghdiri, M."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/aboubakr achraf el ghazi?items=1000","bibdata":{"added-at":"2014-04-25T00:00:00.000+0200","author":["Ghazi","El, Aboubakr Achraf","Ulbrich, Mattias","Gladisch, Christoph","Tyszberowicz, Shmuel S.","Taghdiri, Mana"],"author_short":["Ghazi","El, A.<nbsp>A.","Ulbrich, M.","Gladisch, C.","Tyszberowicz, S.<nbsp>S.","Taghdiri, M."],"bibtex":"@inproceedings{ conf/nfm/GhaziUGTT14,\n added-at = {2014-04-25T00:00:00.000+0200},\n author = {Ghazi, Aboubakr Achraf El and Ulbrich, Mattias and Gladisch, Christoph and Tyszberowicz, Shmuel S. and Taghdiri, Mana},\n biburl = {http://www.bibsonomy.org/bibtex/23e450d2f59b8323d537e49fd8a6fa649/dblp},\n booktitle = {NASA Formal Methods},\n crossref = {conf/nfm/2014},\n editor = {Badger, Julia M. and Rozier, Kristin Yvonne},\n ee = {http://dx.doi.org/10.1007/978-3-319-06200-6_13},\n interhash = {bb0f737082deccac58c9861fe1d52f1e},\n intrahash = {3e450d2f59b8323d537e49fd8a6fa649},\n isbn = {978-3-319-06199-3},\n keywords = {dblp},\n pages = {173-187},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {JKelloy: A Proof Assistant for Relational Specifications of Java Programs.},\n url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2014.html#GhaziUGTT14},\n volume = {8430},\n year = {2014}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/23e450d2f59b8323d537e49fd8a6fa649/dblp","booktitle":"NASA Formal Methods","crossref":"conf/nfm/2014","editor":["Badger, Julia M.","Rozier","Yvonne, Kristin"],"editor_short":["Badger, J.<nbsp>M.","Rozier","Yvonne, K."],"ee":"http://dx.doi.org/10.1007/978-3-319-06200-6_13","id":"conf/nfm/GhaziUGTT14","interhash":"bb0f737082deccac58c9861fe1d52f1e","intrahash":"3e450d2f59b8323d537e49fd8a6fa649","isbn":"978-3-319-06199-3","key":"conf/nfm/GhaziUGTT14","keywords":"dblp","pages":"173-187","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"JKelloy: A Proof Assistant for Relational Specifications of Java Programs.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/nfm/nfm2014.html#GhaziUGTT14","volume":"8430","year":"2014","bibbaseid":"ghazi-el-ulbrich-gladisch-tyszberowicz-taghdiri-jkelloyaproofassistantforrelationalspecificationsofjavaprograms-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-06200-6_13","Paper":"http://dblp.uni-trier.de/db/conf/nfm/nfm2014.html#GhaziUGTT14"},"keyword":["dblp"],"downloads":0},"search_terms":["jkelloy","proof","assistant","relational","specifications","java","programs","ghazi","el","ulbrich","gladisch","tyszberowicz","taghdiri"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CXToTPH3EsSmCdgzK"]}