author-photo

Reiner Hhnle

Karlsruhe Institute of Technology

3

Papers

47

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Seminar: Specification and Verification of Object-oriented Software

2004
Show All
- Source
- Cite
- Save
Citations (0)
Entwurfs-mustergesteuerte Erzeugung von OCL-Constraints

2000 Softwaretechnik-trends
Show All
- Source
- Cite
- Save
Citations (2)
The liberalized ?-rule in free variable semantic tableaux

1994 Journal of Automated Reasoning
- Reiner Hhnle
- Peter H. Schmitt
Show All
- Source
- Cite
- Save
Citations (45)