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.

Télécharger l'article

Charger l'article : Doi page

Copyright :

Contact

Michel Delaunay

Référence BibTex

@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}
}

Référence EndNote [help]

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