FMTea Porto, Portugal, World Congress on Formal Methods, 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. Springer. https://doi.org/10.1007/978-3-030-32441-4
Chicago-Zitierstil (17. Ausg.)FMTea Porto, Portugal, World Congress on Formal Methods, Brijesh Dongol, Luigia Petre, und 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. Cham: Springer, 2019. https://doi.org/10.1007/978-3-030-32441-4.
MLA-Zitierstil (9. Ausg.)FMTea Porto, Portugal, 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. Springer, 2019. https://doi.org/10.1007/978-3-030-32441-4.