{"_id":"KSEWeNG6BEK3oy8HA","bibbaseid":"fitzgerald-heitmeyer-gnesi-philippou-fm2016formalmethods21stinternationalsymposiumlimassolcyprusnovember9112016proceedings-2016","downloads":0,"creationDate":"2017-01-11T00:00:49.582Z","title":"FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings","author_short":null,"year":2016,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/h/Hiet:Guillaume","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["John","S."],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Constance","L."],"propositions":[],"lastnames":["Heitmeyer"],"suffixes":[]},{"firstnames":["Stefania"],"propositions":[],"lastnames":["Gnesi"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Philippou"],"suffixes":[]}],"title":"FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings","series":"Lecture Notes in Computer Science","volume":"9995","year":"2016","url":"http://dx.doi.org/10.1007/978-3-319-48989-6","doi":"10.1007/978-3-319-48989-6","isbn":"978-3-319-48988-9","timestamp":"Tue, 08 Nov 2016 20:29:21 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/fm/2016","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@proceedings{DBLP:conf/fm/2016,\n editor = {John S. Fitzgerald and\n Constance L. Heitmeyer and\n Stefania Gnesi and\n Anna Philippou},\n title = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,\n Cyprus, November 9-11, 2016, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9995},\n year = {2016},\n url = {http://dx.doi.org/10.1007/978-3-319-48989-6},\n doi = {10.1007/978-3-319-48989-6},\n isbn = {978-3-319-48988-9},\n timestamp = {Tue, 08 Nov 2016 20:29:21 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/fm/2016},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","editor_short":["Fitzgerald, J. S.","Heitmeyer, C. L.","Gnesi, S.","Philippou, A."],"key":"DBLP:conf/fm/2016","id":"DBLP:conf/fm/2016","bibbaseid":"fitzgerald-heitmeyer-gnesi-philippou-fm2016formalmethods21stinternationalsymposiumlimassolcyprusnovember9112016proceedings-2016","role":"editor","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-48989-6"},"downloads":0},"search_terms":["2016","formal","methods","21st","international","symposium","limassol","cyprus","november","2016","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["Tgzcys3tENE6cN4ns"]}