Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS - Archive ouverte HAL Access content directly
Books Year : 2015

Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS

(1) , (2)
1
2
Carlos Canal
  • Function : Scientific advisor
  • PersonId : 855779
Akram Idani
  • Function : Scientific advisor
  • PersonId : 836953
Not file

Dates and versions

hal-02045555 , version 1 (22-02-2019)

Identifiers

  • HAL Id : hal-02045555 , version 1

Cite

Carlos Canal, Akram Idani (Dir.). Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS. Springer. 2015, ISBN 978-3-319-15200-4. ⟨hal-02045555⟩
19 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More