CA:BD07

Lydie du Bousquet et Michel Delaunay. Towards mutation analysis for LUSTRE programs. In Proc. of Model-driven High-level Programming of Embedded Systems (SLA++P), Braga, Portugal, Mars 2007.

Référence BibTex

@InProceedings{CA:BD07,
   Author = {du Bousquet et Michel Delaunay, Lydie},
   Title = {Towards mutation analysis for LUSTRE programs},
   BookTitle = {Proc. of Model-driven High-level Programming of Embedded Systems (SLA++P)},
   Address = {Braga, Portugal},
   Month = {March},
   Year = {2007}
}

Référence EndNote [help]

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