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