@book{books/daglib/0016501,
  added-at = {2019-06-18T00:00:00.000+0200},
  author = {Huisman, Marieke},
  biburl = {https://www.bibsonomy.org/bibtex/2c6425be7098bddde9916f5b548b57250/dblp},
  interhash = {09cb712f81358b5c75734cad7592985e},
  intrahash = {c6425be7098bddde9916f5b548b57250},
  isbn = {978-90-9014440-5},
  keywords = {dblp},
  pages = {I-X, 1-240},
  publisher = {IPA},
  series = {IPA dissertation series},
  timestamp = {2019-06-19T11:39:06.000+0200},
  title = {Reasoning about Java programs in higher order logic using PVS and Isabelle.},
  volume = 03,
  year = 2001
}

{"_id":"4igHuoQj6X9k88gyY","bibbaseid":"huisman-reasoningaboutjavaprogramsinhigherorderlogicusingpvsandisabelle-2001","authorIDs":["5d14be645b939dee01000058"],"author_short":["Huisman, M."],"bibdata":{"bibtype":"book","type":"book","added-at":"2019-06-18T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c6425be7098bddde9916f5b548b57250/dblp","interhash":"09cb712f81358b5c75734cad7592985e","intrahash":"c6425be7098bddde9916f5b548b57250","isbn":"978-90-9014440-5","keywords":"dblp","pages":"I-X, 1-240","publisher":"IPA","series":"IPA dissertation series","timestamp":"2019-06-19T11:39:06.000+0200","title":"Reasoning about Java programs in higher order logic using PVS and Isabelle.","volume":"03","year":"2001","bibtex":"@book{books/daglib/0016501,\n added-at = {2019-06-18T00:00:00.000+0200},\n author = {Huisman, Marieke},\n biburl = {https://www.bibsonomy.org/bibtex/2c6425be7098bddde9916f5b548b57250/dblp},\n interhash = {09cb712f81358b5c75734cad7592985e},\n intrahash = {c6425be7098bddde9916f5b548b57250},\n isbn = {978-90-9014440-5},\n keywords = {dblp},\n pages = {I-X, 1-240},\n publisher = {IPA},\n series = {IPA dissertation series},\n timestamp = {2019-06-19T11:39:06.000+0200},\n title = {Reasoning about Java programs in higher order logic using PVS and Isabelle.},\n volume = 03,\n year = 2001\n}\n\n","author_short":["Huisman, M."],"key":"books/daglib/0016501","id":"books/daglib/0016501","bibbaseid":"huisman-reasoningaboutjavaprogramsinhigherorderlogicusingpvsandisabelle-2001","role":"author","urls":{},"keyword":["dblp"],"downloads":0},"bibtype":"book","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.016Z","downloads":0,"keywords":["dblp"],"search_terms":["reasoning","java","programs","higher","order","logic","using","pvs","isabelle","huisman"],"title":"Reasoning about Java programs in higher order logic using PVS and Isabelle.","year":2001,"dataSources":["sAaBbgDRpNpcvbGWj"]}