Travelled to:
1 × Germany
Collaborated with:
F.Bellegarde J.Julliand O.Kouchnarenko
Talks about:
reformul (1) properti (1) combin (1) refin (1) dynam (1) way (1)
Person: Christophe Darlot
DBLP: Darlot:Christophe
Contributed to:
Wrote 1 papers:
- FME-2001-BellegardeDJK #named #refinement
- Reformulation: A Way to Combine Dynamic Properties and B Refinement (FB, CD, JJ, OK), pp. 2–19.