The Design of a Verifiable Operating System Kernel

Authors:
T. Lockhart
Affiliations:
-
Venue:
The Design of a Verifiable Operating System Kernel
Year:
1979

Citing 0
Cited 2

Exception handling in communication protocols

SIGCOMM '83 Proceedings of the eighth symposium on Data communications
The design of a distributed kernel

ACM '81 Proceedings of the ACM '81 conference

Quantified Score

Hi-index	0.00

Visualization

Abstract