语系
Canal, Carlos.
概要
| 作品: | 4 作品在 1 项出版品 1 种语言 | |
|---|---|---|
书目信息
Software engineering and formal methods[electronic resource] :SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
Canal, Carlos.; Idani, Akram.; SpringerLink (Online service)
(书目-语言数据,印刷品)