Languages
Braga, Christiano.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
Braga, Christiano.; Olveczky, Peter Csaba.; SpringerLink (Online service)
(Electronic resources)
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
Braga, Christiano.; Marti-Oliet, Narciso.; SpringerLink (Online service)
(Electronic resources)