Languages
Ferreira, Joao F.
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)