author : W. Hasselbring

Short works

• Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. 1994. (In 8th Z User Workshop )