Software Engineering and Formal Methods - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2014

Dates and versions

hal-01272610 , version 1 (11-02-2016)

Identifiers

Cite

Gwen Salaün, Dimitra Giannakopoulou (Dir.). Software Engineering and Formal Methods: Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014). 2014, ⟨10.1007/978-3-319-10431-7⟩. ⟨hal-01272610⟩
250 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More