Jump to : Contact | BibTex reference | EndNote reference |

CA:BLD07

Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, March 2007.

Contact

Yves Ledru
Frédéric Dadeau

BibTex Reference

@InProceedings{CA:BLD07,
   Author = {du Bousquet, Lydie and Ledru, Yves and Dadeau, Frédéric and Allouti, F.},
   Title = {A Case Study in Matching Test and Proof Coverage},
   BookTitle = {Third Workshop on Model-Based Testing (MBT)},
   Address = {Braga, Portugal},
   Month = {March},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)


This page has been automatically generated using the bib2html program.