"Specification and Verification of Invariants by Exploiting Layers in OO ..."

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