home
>
book reviews
> Juergen Giesl
Google >
Juergen Giesl
author : Juergen Giesl
Short works
Closure Induction in a Z-like Language. 2000.
(In
ZB 2000
)