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.
@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}
}
Get EndNote Reference (.ref)