Communications of the ACM Communications of the ACM, Association for Computing Machinery, 2011, 54 (4), pp.99-106. ⟨10.1145/1924421.1924444⟩ Communications of the ACM, 2011, 54 (4), pp.99-106. ⟨10.1145/1924421.1924444⟩
SEFM-Software Engineering and Formal Methods; 8th IEEE International Conference on SEFM-Software Engineering and Formal Methods; 8th IEEE International Conference on, Sep 2010, Pisa, Italy. pp.156-165, ⟨10.1109/SEFM.2010.29⟩ SEFM