home
>
book reviews
> Stuart J. H. Kent
Google >
Stuart J. H. Kent
author : Stuart J. H. Kent
Books
Formal Methods and Object Technology
. 1996,
with
Stephen J. Goldsack
Short works
Integrating VDM++ and Real-Time System Design. 1997.
(In
ZUM '97
)