Inferring object invariants (0)

by B-Y E Chang, K R M Leino
Venue:ENTCS