author : Erich Mikk

Short works

• Compilation of Z specifications into C for automatic test result evaluation. 1995. (In ZUM '95 )