DBLP:journals_entcs_BousquetD08

Lydie du Bousquet, Michel Delaunay. Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci, 203(4):35-48, 2008.

Download

Download paper: Doi page

Copyright notice:

Contact

Michel Delaunay

BibTex Reference

@article{DBLP:journals_entcs_BousquetD08,
   Author = {du Bousquet, Lydie and Delaunay, Michel},
   Title = {Towards Mutation Analysis for Lustre Programs},
   Journal = {Electr. Notes Theor. Comput. Sci},
   Volume = {203},
   Number = {4},
   Pages = {35--48},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)