Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 492-502, Taipei (Taiwan), 2011.
Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/
Alain Girault http://pop-art.inrialpes.fr/people/girault/
@InProceedings{LJG11,
Author = {Lakhdar-Chaouch, Lies and Jeannet, Bertrand and Girault, Alain},
Title = {Widening with Thresholds for Programs with Complex Control Graphs},
BookTitle = {Automated Technology for Verification and Analysis, ATVA'11},
Volume = {6996},
Pages = {492--502},
Series = {LNCS},
Address = {Taipei (Taiwan)},
Year = {2011}
}
Get EndNote Reference (.ref)