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

by Gary T. Leavens , Albert L. Baker
Citations:40 - 8 self