The ASTREÉ 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. The ASTREÉ Analyzer. In Shmuel Sagiv, editor, Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Volume 3444 of Lecture Notes in Computer Science, pages 21-30, Springer, 2005. [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