Login / Signup
F. L. Neves
Publication Activity (10 Years)
Years Active: 1997-1997
Publications (10 Years): 0
</>
Publications
</>
José João Almeida
,
Luís Soares Barbosa
,
F. L. Neves
,
José Nuno Oliveira
CAMILA: Prototyping and Refinement of Constructive Specifications.
AMAST
(1997)