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.