Reasoning about Java programs in higher order logic using PVS and Isabelle. Huisman, M. Volume 03 of IPA dissertation series, IPA, 2001.
bibtex   
@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
}
Downloads: 0