Languages
Canal, Carlos.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)