APA (7th ed.) Citation

SpringerLink (Online service), Dongol, B., Petre, L., & Smith, G. (2019). Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (1st ed. 2019.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-030-32441-4

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Brijesh Dongol, Luigia Petre, and Graeme Smith. Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. 1st ed. 2019. Cham: Springer International Publishing : Imprint: Springer, 2019. https://doi.org/10.1007/978-3-030-32441-4.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. 1st ed. 2019. Springer International Publishing : Imprint: Springer, 2019. https://doi.org/10.1007/978-3-030-32441-4.