APA (7th ed.) Citation

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 Style (17th ed.) Citation

FMTea Porto, Portugal, and 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 (9th ed.) Citation

FMTea Porto, Portugal, and 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.