{"_id":"ypNeDwEc7ivHudaye","bibbaseid":"cerone-roveri-softwareengineeringandformalmethodssefm2017collocatedworkshopsdatamodfaacsmsecosimcpsandfoclasatrentoitalyseptember452017revisedselectedpapers-2018","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Antonio"],"propositions":[],"lastnames":["Cerone"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]}],"title":"Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"10729","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-319-74781-1","doi":"10.1007/978-3-319-74781-1","isbn":"978-3-319-74780-4","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sefm/2017w.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/sefm/2017w,\n editor = {Antonio Cerone and\n Marco Roveri},\n title = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:\n DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September\n 4-5, 2017, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {10729},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-74781-1},\n doi = {10.1007/978-3-319-74781-1},\n isbn = {978-3-319-74780-4},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sefm/2017w.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Cerone, A.","Roveri, M."],"key":"DBLP:conf/sefm/2017w","id":"DBLP:conf/sefm/2017w","bibbaseid":"cerone-roveri-softwareengineeringandformalmethodssefm2017collocatedworkshopsdatamodfaacsmsecosimcpsandfoclasatrentoitalyseptember452017revisedselectedpapers-2018","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-74781-1"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["software","engineering","formal","methods","sefm","2017","collocated","workshops","datamod","faacs","mse","cosim","cps","foclasa","trento","italy","september","2017","revised","selected","papers"],"title":"Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers","year":2018}