Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2015
Akram Idani : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02045555
Soumis le : vendredi 22 février 2019-10:43:48
Dernière modification le : jeudi 4 avril 2024-21:39:10
Dates et versions
Identifiants
- HAL Id : hal-02045555 , version 1
Citer
Carlos Canal, Akram Idani (Dir.). Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS. Springer. 2015, ISBN 978-3-319-15200-4. ⟨hal-02045555⟩
Collections
19
Consultations
0
Téléchargements