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

by Gary T Leavens, Gary T Leavens, Gary T Leavens, Albert L Baker, Albert L Baker, Albert L Baker
Venue:In In FM’99: World Congress on Formal Methods