A unified framework for verification techniques for object invariants (2008)

by S Drossopoulou, A Francalanza, P Müller, A J Summers
Venue:In ECOOP