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