author : Mike Seager

Short works

• Specifying the Kernel of a Secure Distributed Operating System. 1995. (In Applications of Formal Methods )