Enhancing the Pre- and Postcondition Technique for More Expressive Specifications (1997)

by Gary T. Leavens , Albert L. Baker
Citations:41 - 10 self