home
>
book reviews
> Thomas Neustupny
Google >
Thomas Neustupny
author : Thomas Neustupny
Short works
Automating Test Case Generation from Z Specifications with Isabelle. 1997.
(In
ZUM '97
)