The top documents tagged [abstract transitionwrite]
Inferring Object Invariants
47 views