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
2 ARC - NASA Ames Research Center
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01272610
Contributor : Wendelin Serwe <>
Submitted on : Thursday, February 11, 2016 - 10:29:21 AM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM

Links full text

openaccess

Identifiers

Collections

CNRS | LIG | INRIA | CONVECS | LIG_MFML_CONVECS | UGA

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

581

 

Contact                    Legal Notice                    Personal Data