Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Survey of recent operating systems research, designs and implementations
ACM SIGOPS Operating Systems Review
ICSE '79 Proceedings of the 4th international conference on Software engineering
Hi-index | 0.00 |