Travelled to:1 × France
1 × Spain
Collaborated with:L.d.Bousquet L.Trilling
Talks about:construct (1) approach (1) process (1) correct (1) analysi (1) teach (1) proof (1) mutat (1) evalu (1) iter (1)
Person: Michel Lévy
DBLP: L=eacute=vy:Michel
Contributed to:
2010
1999Wrote 2 papers:
- TAP-2010-BousquetL #analysis #evaluation #mutation testing #process #proving
- Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.
- FM-v2-1999-LevyT #approach #education
- A PVS-Based Approach for Teaching Constructing Correct Iterations (ML, LT), pp. 1859–1860.