J. D'Almeida

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar
Transformation of a semi-formal specification to VDM. KBSE (1992)