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
Liste complète des métadonnées

https://hal.inria.fr/hal-01272610
Contributeur : Wendelin Serwe <>
Soumis le : jeudi 11 février 2016 - 10:29:21
Dernière modification le : jeudi 6 décembre 2018 - 15:43:24

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

423