APA (7th ed.) Citation

SEFM Trient, Cerone, A., & Roveri, M. (2018). 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. Springer. https://doi.org/10.1007/978-3-319-74781-1

Chicago Style (17th ed.) Citation

SEFM Trient, Antonio Cerone, and Marco Roveri. 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. Cham: Springer, 2018. https://doi.org/10.1007/978-3-319-74781-1.

MLA (9th ed.) Citation

SEFM Trient, et al. 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. Springer, 2018. https://doi.org/10.1007/978-3-319-74781-1.