Statement inversion and strongest postcondition (1993)

Cached

Download Links

by R. J. R. Back , J. Wright
Venue:Science of Computer Programming
Citations:8 - 2 self