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

by Gary T. Leavens , Albert L. Baker
Citations:38 - 9 self