home
>
book reviews
> Hans-Martin Horcher
Google >
Hans-Martin Horcher
author : Hans-Martin Horcher
Short works
Improving software tests using Z specifications. 1995.
(In
ZUM '95
)