Carvalho, Gustavo.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings /
by:
Stolz, Volker.; SpringerLink (Online service); Carvalho, Gustavo.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]