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