rrlig007

Lydie du Bousquet. Mutation analysis to evaluate Lustre program specifications in the context of model-checking. Research Report LIG, 2010.

Télécharger l'article

Charger l'article : Adobe portable document (pdf)

Copyright :

Référence BibTex

@TechReport{rrlig007,
   Author = {du Bousquet, Lydie},
   Title = {{M}utation analysis to evaluate {L}ustre program specifications in the context of model-checking},
   Series = {Les rapports de recherche du LIG},
   Institution = {{LIG}},
   Address = {Grenoble, France},
   Year = {2010}
}

Référence EndNote [help]

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