Login / Signup
Jean-Raynomd Gagné
Publication Activity (10 Years)
Years Active: 1986-1986
Publications (10 Years): 0
</>
Publications
</>
Ali Mili
,
Jules Desharnais
,
Jean-Raynomd Gagné
Formal Models of Stepwise Refinement of Programs.
ACM Comput. Surv.
18 (3) (1986)