Travelled to:1 × France
Collaborated with:J.G.Thomsen K.J.Andersen J.Danaher E.Ernst
Talks about:lookup (1) invari (1) reduc (1) check (1)
Person: Christian Clausen
DBLP: Clausen:Christian
Contributed to:
2013Wrote 1 papers:
- ECOOP-2013-ThomsenCADE #invariant
- Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.