Software engineering and formal methods. SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1--2, 2014. Revised selected papers
From MaRDI portal
Publication:2339984
DOI10.1007/978-3-319-15201-1zbMATH Open1334.68014OpenAlexW2488995930MaRDI QIDQ2339984
Author name not available (Why is that?)
Publication date: 14 April 2015
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-15201-1
No records found.
This page was built for publication: Software engineering and formal methods. SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1--2, 2014. Revised selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2339984)
