author : David Duke

Papers/Articles

• Enhancing the Structure of Z Specifications. 1992. In 6th Z User Workshop