Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools (1998)

by Ulrich Hensel , Marieke Huisman , Bart Jacobs , Hendrik Tews
Citations:34 - 15 self

Document Versions

Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools –Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews — 1998
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools –Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews, Inst Theor Informatik, Tu Dresden, D- Dresden — 1998