Login / Signup
Emmanuel Dieul
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Christophe Ponsard
,
Emmanuel Dieul
From Requirements Models to Formal Specifications in B.
ReMo2V
(2006)