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.