Correctness of realizations of levels of abstraction in operating systems

• Authors:

• Gerald Belpaire;J. R. Wilmotte

• Affiliations:

• -;-

• Venue:
• Operating Systems, Proceedings of an International Symposium
• Year:
• 1974