Enhancing the pre- and postcondition technique for more expressive specifications (1999)

by Gary T Leavens, Albert L Baker
Venue:In FM’99 – Formal Methods: World Congress on Formal Methods in Development of Computer Systems