HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Directions of work or proceedings

Software Engineering and Formal Methods: Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)

Gwen Salaün 1 Dimitra Giannakopoulou 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Complete list of metadata

https://hal.inria.fr/hal-01272610
Contributor : Wendelin Serwe Connect in order to contact the contributor
Submitted on : Thursday, February 11, 2016 - 10:29:21 AM
Last modification on : Wednesday, February 2, 2022 - 3:56:59 PM

Links full text

Identifiers

Citation

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

Share

Metrics

Record views

244