Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

MLA

Ferreira, João F, Alexandra Mendes, and Claudio Menghi. Formal Methods Teaching : 4th International Workshop and Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings. Cham: Springer International Publishing AG, 2021.

APA

Ferreira, J. F, Mendes, A., & Menghi, C. (2021). Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings. Cham: Springer International Publishing AG.

Chicago

Ferreira, João F., Alexandra Mendes, and Claudio Menghi. Formal Methods Teaching : 4th International Workshop and Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings. Cham: Springer International Publishing AG, 2021.