Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings - Formal Methods Teaching Workshop and Tutorial Online 2021; Ferreira, Joao F.; Mendes, Alexandra; Menghi, Claudio (Cham: Springer, 2021)
Keywords: Formal methods (Computer science) -- -- Congresses