@inproceedings{elghazi:JKelloy,
  author      = {Aboubakr Achraf {El Ghazi} and Mattias Ulbrich and Christoph Gladisch and Shmuel S. Tyszberowicz and Mana Taghdiri},
  title       = {{JKelloy}: {A} Proof Assistant for Relational Specifications of Java Programs},
  booktitle   = {6th International NASA Formal Methods Symposium (NFM)},
  pages       = {173--187},
  address     = {Houston, USA},
  month       = {April--May},
  year        = {2014},
  crossref    = {DBLP:conf/nfm/2014},
  doi         = {10.1007/978-3-319-06200-6_13},
  url         = {http://dx.doi.org/10.1007/978-3-319-06200-6_13},
}

{"_id":"tykcnbs9iDk97qTDT","bibbaseid":"elghazi-ulbrich-gladisch-tyszberowicz-taghdiri-jkelloyaproofassistantforrelationalspecificationsofjavaprograms-2014","downloads":1,"creationDate":"2015-05-18T23:34:51.942Z","title":"JKelloy: A Proof Assistant for Relational Specifications of Java Programs","author_short":["El Ghazi, A. A.","Ulbrich, M.","Gladisch, C.","Tyszberowicz, S. S.","Taghdiri, M."],"year":2014,"bibtype":"inproceedings","biburl":"http://i12www.ira.uka.de/~elghazi/bibTex/a.a.elghazi.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Aboubakr","Achraf"],"propositions":[],"lastnames":["El 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":[]}],"title":"JKelloy: A Proof Assistant for Relational Specifications of Java Programs","booktitle":"6th International NASA Formal Methods Symposium (NFM)","pages":"173–187","address":"Houston, USA","month":"April–May","year":"2014","crossref":"DBLP:conf/nfm/2014","doi":"10.1007/978-3-319-06200-6_13","url":"http://dx.doi.org/10.1007/978-3-319-06200-6_13","bibtex":"@inproceedings{elghazi:JKelloy,\n author = {Aboubakr Achraf {El Ghazi} and Mattias Ulbrich and Christoph Gladisch and Shmuel S. Tyszberowicz and Mana Taghdiri},\n title = {{JKelloy}: {A} Proof Assistant for Relational Specifications of Java Programs},\n booktitle = {6th International NASA Formal Methods Symposium (NFM)},\n pages = {173--187},\n address = {Houston, USA},\n month = {April--May},\n year = {2014},\n crossref = {DBLP:conf/nfm/2014},\n doi = {10.1007/978-3-319-06200-6_13},\n url = {http://dx.doi.org/10.1007/978-3-319-06200-6_13},\n}\n\n","author_short":["El Ghazi, A. A.","Ulbrich, M.","Gladisch, C.","Tyszberowicz, S. S.","Taghdiri, M."],"key":"elghazi:JKelloy","id":"elghazi:JKelloy","bibbaseid":"elghazi-ulbrich-gladisch-tyszberowicz-taghdiri-jkelloyaproofassistantforrelationalspecificationsofjavaprograms-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-06200-6_13"},"metadata":{"authorlinks":{"el ghazi, a":"https://dbis.ipd.kit.edu/"}}},"search_terms":["jkelloy","proof","assistant","relational","specifications","java","programs","el ghazi","ulbrich","gladisch","tyszberowicz","taghdiri"],"keywords":[],"authorIDs":["2m4AtZmiu8v4Qu6t8","555a771b6fc8205f2b000a8a","5df07245e49680f201000009","5df8100cd74ee7df0100009b","5dfa9f31669fc3df01000111","5dfe4d58bfbabdde01000019","5dfee54b5dd8e7df0100004b","5dffe63a903951df010000a2","5e002907f11348df0100000f","5e0538751965a8de0100001f","5e07f023f1089ddf010000ab","5e106380a28a75de010000ba","5e18b67abd0cf5de01000122","5e217d3fc7842fde010000bc","5e2453f2079bb2df01000050","5e25a66db57878de010000ce","5e30302b46a666df010000d8","5e372626646a98de01000121","5e387ef51f8af9e0010001bc","5e389dd0030bcadf010001fe","5e38a2e2645ed2de01000044","5e4e306c1f1de5de01000042","5e5005a7f5b214df010001c1","5e56814bdf3460df010001f7","7Dh9h86woEfbtTZwk","7JYo3ff6vH66KQenu","DerNBu8aKSCNnwdW2","DtFhx8fKuLkcD497B","Fj9HvKTCW9J3CSptr","KZGDbawP4BKhmnJvH","LigvsHFxv5A93zwuk","Lx2dBC5cYHzdatr8E","MwhRxT8jAJB2k4mkT","No9ZXgCMLKrLSGLEk","PTugtSXnCdhwkEaZW","R6XK75e85trTu7bt3","XreiiA5xJKZAevQkh","ZCvekac9KYrZMfqSX","aSB4a2aHpCo7B79BY","cbyPrddhrRWA9bnLC","cjyrPL7dHdpkQWFfn","ghhifTk4aqMjGWN2q","i5XTDkD8wKswnGwX6","iBWiaK7AWdqBZ9Xw9","ioDDB4Zo2admuewBe","mNt2uaAcmpHumXv8p","nk9RvRPjtxWymFipD","npF9JZC5gB2YmXRjS","paCJy7H4j3GgCG8w6","q7Lky5PDT5MmJrhTa","qSBajYR3D36zGJGjQ","r2N2mQ4Khawa2cdeP","r9ZmQZNav3aXEEnCG","xZK46JpQPjyJciXaa","xeun3QmwWuDSgFu6N","ydxj6EAmn6QYu3Dia","yqHZ5mifZoki44xoX"],"dataSources":["RJmikkLxZSXpJDmaT","L4yimRZrJH4qpYNh7","2RbrF8Ba6ECMdWAzn","CnSct3sWobeSAvGgC"]}