Search Results - OpenCert (Workshop)
- Showing 1 - 1 results of 1
-
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 by SpringerLink (Online service), International Conference on Software Engineering and Formal Methods, Workshop on Human-Oriented Formal Methods -- from Readability to Automation, SAFOME (Workshop), OpenCert (Workshop), MoKMaSD (Workshop), WS-FMDS (Workshop)
Published: Springer, 2015Description: 1 online resource (xxvii, 405 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook