![]() | ![]() |
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] |