Communication Dans Un Congrès
Année : 2010
Frédéric Dadeau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00532974
Soumis le : jeudi 4 novembre 2010-18:59:24
Dernière modification le : lundi 11 septembre 2023-17:41:18
Citer
Adrien de Kermadec, Frédéric Dadeau, Fabrice Bouquet. Assessing the Quality of B Models. SEFM'10 - 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. ⟨10.1109/SEFM.2010.17⟩. ⟨inria-00532974⟩
Collections
96
Consultations
0
Téléchargements