A proof technique for rely/guarantee properties (1985)

by E W Stark
Venue:In: FSTTCS: proceedings of the 5th conference. Volume 206., Springer-Verlag