Sciweavers

TASE
2007
IEEE

Varieties of Static Analyzers: A Comparison with ASTREE

14 years 5 months ago
Varieties of Static Analyzers: A Comparison with ASTREE
Patrick Cousot, Radhia Cousot, Jérôme
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where TASE
Authors Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
Comments (0)