Assessing the Quality of B Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010
No file

Dates and versions

inria-00532974 , version 1 (04-11-2010)

Identifiers

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⟩
98 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More