Combination of Abstractions in the ASTRÉE Static Analyzer - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. Combination of Abstractions in the ASTRÉE Static Analyzer. In Mitsu Okada, Ichiro Satoh, editors, Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers. Volume 4435 of Lecture Notes in Computer Science, pages 272-300, Springer, 2006. [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 'Laurent Mauborgne' in GoogleThis author has not been identified. Look up 'Antoine Miné' 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