Specification of an operating system kernel forest and VDM compared

• Authors:

• S. J. Goldsack

• Affiliations:

• Imperial College, London, UK

• Venue:
• Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
• Year:
• 1988