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

Ulrich Hensel Marieke Huisman Bart Jacobs Hendrik Tews

Published in: ESOP (1998)

Keyphrases

object oriented languages
high level
case study
general purpose
mathematical models
software tools