conftapBousquetL10

Lydie du Bousquet, Michel Lévy. Proof Process Evaluation with Mutation Analysis. In Tests and Proofs(TAP), Lecture Notes in Computer Science, Volume 6143, Pages 55-60, Malaga, Spain, 2010.

Référence BibTex

@InProceedings{conftapBousquetL10,
   Author = {du Bousquet, Lydie and Lévy, Michel},
   Title = {Proof Process Evaluation with Mutation Analysis},
   BookTitle = {Tests and Proofs(TAP)},
   Volume = {6143},
   Pages = {55--60},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Address = {Malaga, Spain},
   Year = {2010}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)