CIC:pfl-ase

L. du Bousquet, N. Zuanon. An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software. In 14th IEEE International Conference on Automated Software Engineering, Pages 208-215, Octobre 1999.

Référence BibTex

@InProceedings{CIC:pfl-ase,
   Author = {du Bousquet, L. and Zuanon, N.},
   Title = {{An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software}},
   BookTitle = {{14th IEEE International Conference on Automated Software Engineering}},
   Pages = {208--215},
   Publisher = {IEEE},
   Month = {October},
   Year = {1999}
}

Référence EndNote [help]

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