author : Hans-Martin Horcher

Short works

• Improving software tests using Z specifications. 1995. (In ZUM '95 )