rrlig007

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

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)