Sciweavers

ASIAN
2006
Springer

Combination of Abstractions in the ASTRÉE Static Analyzer

14 years 3 months ago
Combination of Abstractions in the ASTRÉE Static Analyzer
Patrick Cousot, Radhia Cousot, Jérôme
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ASIAN
Authors Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Comments (0)