APA-Zitierstil (7. Ausg.)

FMTea Porto, Portugal, & Dongol, B. (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.

Chicago-Zitierstil (17. Ausg.)

FMTea Porto, Portugal, und Brijesh Dongol. 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.

MLA-Zitierstil (9. Ausg.)

FMTea Porto, Portugal, und Brijesh Dongol. 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.