Fingerprint
Dive into the research topics of 'Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
33
Citations
(Scopus)