Rely-guarantee approach to reasoning about ao programs (0)

by R Khatchadourian, N Soundarajan
Venue:In SPLAT ’07