Login / Signup
Pierre-Jean Lecoeur
Publication Activity (10 Years)
Years Active: 1998-1998
Publications (10 Years): 0
</>
Publications
</>
Sten Agerholm
,
Pierre-Jean Lecoeur
,
Etienne Reichert
Formal specification and validation at work: a case study using VDM-SL.
FMSP
(1998)