M. J. van Diepen

Publication Activity (10 Years)

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

Publications

M. J. van Diepen, Kees M. van Hee
A Formal Semantics for Z and the Link between Z and the Relational Algebra. VDM Europe (1990)