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 (17η εκδ.)SpringerLink (Online service), Brijesh Dongol, Luigia Petre, και 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 εκδ.)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.
