Cerone, A., & Roveri, M. (2018). Software engineering and formal methods: SEFM 2017 collocated workshops: DataMod, FACS, MSE, CoSIM_CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers. Springer.
Chicago Style (17th ed.) CitationCerone, Antonio, and Marco Roveri. Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FACS, MSE, CoSIM_CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : Revised Selected Papers. Cham: Springer, 2018.
MLA (9th ed.) CitationCerone, Antonio, and Marco Roveri. Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FACS, MSE, CoSIM_CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : Revised Selected Papers. Springer, 2018.
Warning: These citations may not always be 100% accurate.