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