author : Juergen Giesl

Short works

• Closure Induction in a Z-like Language. 2000. (In ZB 2000 )