{"_id":"GjHmjEabEtR2gW4tK","authorIDs":[],"author_short":["Jones, C. B.","Pihlajasaari, P.","Sun 0001, J."],"bibbaseid":"jones-pihlajasaari-sun0001-fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings-2014","bibdata":{"title":"FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","author":["Cliff B. Jones","Pekka Pihlajasaari","Jun Sun 0001"],"author_short":["Jones, C. B.","Pihlajasaari, P.","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)","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}","bibbaseid":"jones-pihlajasaari-sun0001-fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-06410-9"},"downloads":0},"bibtype":"proceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/2014","creationDate":"2015-02-02T07:01:54.460Z","downloads":0,"keywords":[],"search_terms":["2014","formal","methods","19th","international","symposium","singapore","2014","proceedings","jones","pihlajasaari","sun 0001"],"title":"FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","year":2014,"dataSources":["YDcntzh93EkXvJb7K"]}