Formal Methods Teaching Workshop and Tutorial (2021 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods teaching = 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / by: Formal Methods Teaching Workshop and Tutorial (2021 :); Ferreira, Joao F.; Mendes, Alexandra.; Menghi, Claudio.; SpringerLink (Online service) (Electronic resources)

Subjects