Travelled to:
1 × Spain
Collaborated with:
A.Dieumegard P.Garoche T.Kahsai X.Thirioux
Talks about:
synchron (1) contract (1) observ (1) compil (1) code (1)
Person: Alice Taillar
DBLP: Taillar:Alice
Contributed to:
Wrote 1 papers:
- SAC-2015-DieumegardGKTT #compilation #contract
- Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.