{"_id":"4dM48rYvijqyPw9nC","authorIDs":[],"author_short":null,"bibbaseid":"jones-pihlajasaari-sun-fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings-2014","bibdata":{"bibtype":"proceedings","type":"proceedings","bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"FM","editor":[{"firstnames":["Cliff","B."],"propositions":[],"lastnames":["Jones"],"suffixes":[]},{"firstnames":["Pekka"],"propositions":[],"lastnames":["Pihlajasaari"],"suffixes":[]},{"firstnames":["Jun"],"propositions":[],"lastnames":["Sun"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-319-06410-9","isbn":"978-3-319-06409-3","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","volume":"8442","year":"2014","bibtex":"@proceedings{DBLP:conf/fm/2014,\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {FM},\n\tEditor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun},\n\tEe = {http://dx.doi.org/10.1007/978-3-319-06410-9},\n\tIsbn = {978-3-319-06409-3},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},\n\tVolume = {8442},\n\tYear = {2014}}\n\n","editor_short":["Jones, C. B.","Pihlajasaari, P.","Sun, J."],"key":"DBLP:conf/fm/2014","id":"DBLP:conf/fm/2014","bibbaseid":"jones-pihlajasaari-sun-fm2014formalmethods19thinternationalsymposiumsingaporemay12162014proceedings-2014","role":"editor","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-06410-9"},"downloads":0,"html":""},"bibtype":"proceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2015-02-02T15:13:00.698Z","downloads":0,"keywords":[],"search_terms":["2014","formal","methods","19th","international","symposium","singapore","2014","proceedings"],"title":"FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","year":2014,"dataSources":["7Z8XEkSJX2s636QcA"]}