FM '08 Proceedings of the 15th international symposium on Formal Methods
Formal modelling of separation kernel components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Abstract specification and formalization of an operating system kernel in Z
ACM SIGOPS Operating Systems Review
Synchronous message passing and semaphores: an equivalence proof
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
| Hi-index | 0.00 |