M. J. van Diepen

According to our database, M. J. van Diepen authored at least 1 paper in 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1990

A Formal Semantics for Z and the Link between Z and the Relational Algebra.

M. J. van Diepen, Kees M. van Hee

Proceedings of the VDM '90, 1990