Search ResultsOther Libraries
Limit Search Results
Format
Publication Date
Author
Subject
Library
Language
Material Type
48 Results Found Subscribe to search results
000000000000OPAC
Print
8. 
Cover image for 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