home
>
book reviews
> Phil Stocks
Google >
Phil Stocks
author : Phil Stocks
Short works
A Tale of Two Paradigms: Formal Methods and Software Testing. 1994.
(In
8th Z User Workshop
)