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