Login / Signup
J. H. A. Gelissen
Publication Activity (10 Years)
Years Active: 1987-1987
Publications (10 Years): 0
</>
Publications
</>
W. E. Baats
,
Loe M. G. Feijs
,
J. H. A. Gelissen
A Formal Specifications of INGRES.
Algebraic Methods
(1987)