Travelled to:1 × Cyprus
Collaborated with:P.Müller
Talks about:datagroup (1) runtim (1) effici (1) assign (1) assert (1) claus (1) check (1)
Person: Hermann Lehner
DBLP: Lehner:Hermann
Contributed to:
Wrote 1 papers:
- FASE-2010-LehnerM #performance #runtime
- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.












