author : Petra Malik

Short works

• CZT: a framework for Z tools. 2005. (In ZB 2005 )