FMTea Online & Ferreira, J. F. (2021). Formal methods teaching: 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)FMTea Online und João F. Ferreira. Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021 : Proceedings. Cham: Springer, 2021.
MLA-Zitierstil (9. Ausg.)FMTea Online und João F. Ferreira. Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021 : Proceedings. Springer, 2021.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.