Travelled to:1 × Switzerland
Collaborated with:S.McKeever
Talks about:contract (1) concurr (1) aspect (1) check (1)
Person: Eric Kerfoot
DBLP: Kerfoot:Eric
Contributed to:
Wrote 1 papers:
- SAC-2010-KerfootM #aspect-oriented #concurrent #contract
- Checking concurrent contracts with aspects (EK, SM), pp. 2523–2530.












