| 1975 | ||
|---|---|---|
| 2 | Gerald Belpaire, Nai-Ting Nsu: Formal Properties of Recursive Virtual Machine Architectures. SOSP 1975: 89-96 | |
| 1974 | ||
| 1 | Gerald Belpaire, J. R. Wilmotte: Correctness of realizations of levels of abstraction in operating systems. Symposium on Operating Systems 1974: 1-15 | |
| 1 | Nai-Ting Nsu | [2] |
| 2 | J. R. Wilmotte | [1] |