Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.

Gary T. Leavens, Albert L. Baker

Browse the full FM paper archive.