語系
Braga, Christiano.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)