@proceedings{ dblp1603028,
  title = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
  author = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun 0001},
  author_short = {Jones, C. B. and Pihlajasaari, P. and Sun 0001, J.},
  bibtype = {proceedings},
  type = {proceedings},
  year = {2014},
  key = {dblp1603028},
  id = {dblp1603028},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fm/2014},
  url = {http://dx.doi.org/10.1007/978-3-319-06410-9},
  conference = {FM},
  text = {FM 2014},
  booktitle = {Proceedings of Formal Methods (FM)}
}

{"_id":"MzHF2JDyKGNNgsige","authorIDs":[],"author_short":["Jones, C.<nbsp>B.","Pihlajasaari, P.","0001, J.<nbsp>S."],"bibbaseid":"jones-pihlajasaari-0001-fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings-2014","bibdata":{"author":["Jones, Cliff B.","Pihlajasaari, Pekka","0001, Jun Sun"],"author_short":["Jones, C.<nbsp>B.","Pihlajasaari, P.","0001, J.<nbsp>S."],"bibtex":"@proceedings{ dblp1603028,\n title = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},\n author = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun 0001},\n author_short = {Jones, C. B. and Pihlajasaari, P. and Sun 0001, J.},\n bibtype = {proceedings},\n type = {proceedings},\n year = {2014},\n key = {dblp1603028},\n id = {dblp1603028},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fm/2014},\n url = {http://dx.doi.org/10.1007/978-3-319-06410-9},\n conference = {FM},\n text = {FM 2014},\n booktitle = {Proceedings of Formal Methods (FM)}\n}","bibtype":"proceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/2014","booktitle":"Proceedings of Formal Methods (FM)","conference":"FM","id":"dblp1603028","key":"dblp1603028","text":"FM 2014","title":"FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","type":"proceedings","url":"http://dx.doi.org/10.1007/978-3-319-06410-9","year":"2014","bibbaseid":"jones-pihlajasaari-0001-fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-06410-9"},"downloads":0},"bibtype":"proceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:12.861Z","downloads":0,"keywords":[],"search_terms":["2014","formal","methods","19th","international","symposium","singapore","2014","proceedings","jones","pihlajasaari","0001"],"title":"FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","year":2014,"dataSources":["ZtcgqYKBLHt2gfuHW"]}