Search

Author/Creator OpenCert (Workshop), 8th

1. Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers. ([2015])

Editors:
Canal, Carlos; Idani, Akram
Other Names:
International Conference on Software Engineering and Formal Methods, 12th; Workshop on Human-Oriented Formal Methods -- from Readability to Automation, 1st; SAFOME (Workshop), 1st; OpenCert (Workshop), 8th; MoKMaSD (Workshop), 3rd; WS-FMDS (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (xxvii, 405 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search