"A Unified Framework for Verification Techniques for Object Invariants."

Sophia Drossopoulou et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics