Conference Papers
Year : 2010
Frédéric Dadeau : Connect in order to contact the contributor
https://inria.hal.science/inria-00532974
Submitted on : Thursday, November 4, 2010-6:59:24 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Cite
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
98
View
0
Download