Travelled to:
1 × France
Collaborated with:
O.Sentieys
Talks about:
algorithm (1) accuraci (1) automat (1) point (1) evalu (1) fix (1)
Person: Daniel Menard
DBLP: Menard:Daniel
Contributed to:
Wrote 1 papers:
- DATE-2002-MenardS #algorithm #automation #evaluation #fixpoint
- Automatic Evaluation of the Accuracy of Fixed-Point Algorithms (DM, OS), pp. 529–535.