Varieties of Static Analyzers: A Comparison with ASTREE - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival. Varieties of Static Analyzers: A Comparison with ASTREE. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 3-20, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Patrick Cousot' in GoogleThis author has not been identified. Look up 'Radhia Cousot' in GoogleThis author has not been identified. It may be one of the following persons:

Jérôme Feret

Look up 'Jérôme Feret' in GoogleThis author has not been identified. Look up 'Antoine Miné' in GoogleThis author has not been identified. Look up 'Laurent Mauborgne' in GoogleThis author has not been identified. Look up 'David Monniaux' in GoogleThis author has not been identified. Look up 'Xavier Rival' in Google

runs on WebDSL