Login / Signup
Nadya Tareb
Publication Activity (10 Years)
Years Active: 1987-1987
Publications (10 Years): 0
</>
Publications
</>
Nadya Tareb
,
Yves Kodratoff
Synthesis of Specifications from Programs.
ÖGAI
(1987)
Nadya Tareb
,
Yves Kodratoff
Synthèse de spécifications à partir de programmes.
SPLT
(1987)