Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.

Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews

Browse the full ESOP paper archive.