@inproceedings{conf/amast/TrentelmanH02,
  added-at = {2017-05-26T00:00:00.000+0200},
  author = {Trentelman, Kerry and Huisman, Marieke},
  biburl = {https://www.bibsonomy.org/bibtex/230ff1a7b2f709c7b50065284dbded4a2/dblp},
  booktitle = {AMAST},
  crossref = {conf/amast/2002},
  editor = {Kirchner, Hélène and Ringeissen, Christophe},
  ee = {https://doi.org/10.1007/3-540-45719-4_23},
  interhash = {2ef4e0ed39ed10abe25d8fd1f1be55f5},
  intrahash = {30ff1a7b2f709c7b50065284dbded4a2},
  isbn = {3-540-44144-1},
  keywords = {dblp},
  pages = {334-348},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:24:49.000+0200},
  title = {Extending JML Specifications with Temporal Logic.},
  url = {http://dblp.uni-trier.de/db/conf/amast/amast2002.html#TrentelmanH02},
  volume = 2422,
  year = 2002
}

{"_id":"TRnpaKa6HaY5fm8wF","bibbaseid":"trentelman-huisman-extendingjmlspecificationswithtemporallogic-2002","authorIDs":["5d14be645b939dee01000058"],"author_short":["Trentelman, K.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-26T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Trentelman"],"firstnames":["Kerry"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/230ff1a7b2f709c7b50065284dbded4a2/dblp","booktitle":"AMAST","crossref":"conf/amast/2002","editor":[{"propositions":[],"lastnames":["Kirchner"],"firstnames":["Hélène"],"suffixes":[]},{"propositions":[],"lastnames":["Ringeissen"],"firstnames":["Christophe"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-45719-4_23","interhash":"2ef4e0ed39ed10abe25d8fd1f1be55f5","intrahash":"30ff1a7b2f709c7b50065284dbded4a2","isbn":"3-540-44144-1","keywords":"dblp","pages":"334-348","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:24:49.000+0200","title":"Extending JML Specifications with Temporal Logic.","url":"http://dblp.uni-trier.de/db/conf/amast/amast2002.html#TrentelmanH02","volume":"2422","year":"2002","bibtex":"@inproceedings{conf/amast/TrentelmanH02,\n added-at = {2017-05-26T00:00:00.000+0200},\n author = {Trentelman, Kerry and Huisman, Marieke},\n biburl = {https://www.bibsonomy.org/bibtex/230ff1a7b2f709c7b50065284dbded4a2/dblp},\n booktitle = {AMAST},\n crossref = {conf/amast/2002},\n editor = {Kirchner, Hélène and Ringeissen, Christophe},\n ee = {https://doi.org/10.1007/3-540-45719-4_23},\n interhash = {2ef4e0ed39ed10abe25d8fd1f1be55f5},\n intrahash = {30ff1a7b2f709c7b50065284dbded4a2},\n isbn = {3-540-44144-1},\n keywords = {dblp},\n pages = {334-348},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:24:49.000+0200},\n title = {Extending JML Specifications with Temporal Logic.},\n url = {http://dblp.uni-trier.de/db/conf/amast/amast2002.html#TrentelmanH02},\n volume = 2422,\n year = 2002\n}\n\n","author_short":["Trentelman, K.","Huisman, M."],"editor_short":["Kirchner, H.","Ringeissen, C."],"key":"conf/amast/TrentelmanH02","id":"conf/amast/TrentelmanH02","bibbaseid":"trentelman-huisman-extendingjmlspecificationswithtemporallogic-2002","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-45719-4_23","Paper":"http://dblp.uni-trier.de/db/conf/amast/amast2002.html#TrentelmanH02"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.095Z","downloads":0,"keywords":["dblp"],"search_terms":["extending","jml","specifications","temporal","logic","trentelman","huisman"],"title":"Extending JML Specifications with Temporal Logic.","year":2002,"dataSources":["sAaBbgDRpNpcvbGWj"]}