home
>
book reviews
> Danielle Fowler
Google >
Danielle Fowler
author : Danielle Fowler
Short works
Extending the Useful Application Domain for Formal Methods. 1992.
(In
6th Z User Workshop
)