author : Ingo Bruckner

Short works

• Slicing Object-Z specifications for verification. 2005. (In ZB 2005 )