言語
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 /
…で:
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 /
…で:
Braga, Christiano.; Clark Conference ((2005 :); Olveczky, Peter Csaba.; SpringerLink (Online service)
(言語・文字資料 (印刷物))