"Specification and verification challenges for sequential object-oriented ..."

Gary T. Leavens, K. Rustan M. Leino, Peter Müller (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics