Travelled to:
1 × Portugal
Collaborated with:
M.Huisman B.Jacobs H.Tews
Talks about:
reasonong (1) classess (1) languag (1) orient (1) object (1) model (1) logic (1) about (1) tool (1)
Person: Ulrich Hensel
DBLP: Hensel:Ulrich
Contributed to:
Wrote 1 papers:
- ESOP-1998-HenselHJT #logic #modelling #object-oriented #tool support
- Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (UH, MH, BJ, HT), pp. 105–121.