Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2014
Wendelin Serwe : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01272610
Soumis le : jeudi 11 février 2016-10:29:21
Dernière modification le : jeudi 4 avril 2024-18:25:41
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