Period
1986 - 1996
Number
2
Co-Authors
A two-level approach towards lean proof-checking (1996)
Barendregt, H.P., Barthe, G., Ruys, M.
Verslag van een 5-daags bezoek aan het Institut fur Gartenbau, Universitat Hannover. (1986)
Heuvelink, E., Ruys, M.