home
>
book reviews
> Erich Mikk
Google >
Erich Mikk
author : Erich Mikk
Short works
Compilation of Z specifications into C for automatic test result evaluation. 1995.
(In
ZUM '95
)