Software Engineering and Formal Methods - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More