Gerald Belpaire, J. R. Wilmotte. Correctness of realizations of levels of abstraction in operating systems. In Erol Gelenbe, Claude Kaiser, editors, Operating Systems, Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974. Volume 16 of Lecture Notes in Computer Science, pages 1-15, Springer, 1974.
@inproceedings{BelpaireW74,
title = {Correctness of realizations of levels of abstraction in operating systems},
author = {Gerald Belpaire and J. R. Wilmotte},
year = {1974},
tags = {operating system, abstraction},
researchr = {https://researchr.org/publication/BelpaireW74},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Operating Systems, Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974},
editor = {Erol Gelenbe and Claude Kaiser},
volume = {16},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-06849-X},
}