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