home
>
book reviews
> Matt Stillerman
Google >
Matt Stillerman
author : Matt Stillerman
Short works
Specifying the Kernel of a Secure Distributed Operating System. 1995.
(In
Applications of Formal Methods
)