author : Gary T. Leavens

Short works

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