author : Albert L. Baker

Short works

• Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. 1999. (In FM'99 volume 2 )