Correctness of realizations of levels of abstraction in operating systems

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.

Abstract

Abstract is missing.