Interface Generation and Compositional Verification in JavaPathfinder. Giannakopoulou, D. & Pasareanu, C. S. In Chechik, M. & Wirsing, M., editors, FASE, volume 5503, of Lecture Notes in Computer Science, pages 94-108, 2009. Springer.
Interface Generation and Compositional Verification in JavaPathfinder. [link]Link  Interface Generation and Compositional Verification in JavaPathfinder. [link]Paper  bibtex   
@inproceedings{conf/fase/GiannakopoulouP09,
  added-at = {2018-06-26T00:00:00.000+0200},
  author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/2a96880e59efb9c47e82279d1936ecafb/dblp},
  booktitle = {FASE},
  crossref = {conf/fase/2009},
  editor = {Chechik, Marsha and Wirsing, Martin},
  ee = {https://doi.org/10.1007/978-3-642-00593-0_7},
  interhash = {4ca12f25b8f662d5ac1ae3dd6a92975a},
  intrahash = {a96880e59efb9c47e82279d1936ecafb},
  isbn = {978-3-642-00592-3},
  keywords = {dblp},
  pages = {94-108},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T13:57:55.000+0200},
  title = {Interface Generation and Compositional Verification in JavaPathfinder.},
  url = {http://dblp.uni-trier.de/db/conf/fase/fase2009.html#GiannakopoulouP09},
  volume = 5503,
  year = 2009
}

Downloads: 0