Akram Idani

1 published title

Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, revised selected papers

(Contributor)

1 edition