Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
A Case Study in Matching Test and Proof Coverage
MBT, 2007.
@article{MBT-2007-LedruBDA, author = "Yves Ledru and Lydie du Bousquet and Frédéric Dadeau and F. Allouti", doi = "10.1016/j.entcs.2007.08.007", journal = "{Electronic Notes in Theoretical Computer Science}", number = 2, pages = "73--84", title = "{A Case Study in Matching Test and Proof Coverage}", volume = 190, year = 2007, }