Dynamic Partitioning in Analyses of Numerical Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond. Dynamic Partitioning in Analyses of Numerical Properties. In Agostino Cortesi, Gilberto Filé, editors, Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings. Volume 1694 of Lecture Notes in Computer Science, pages 39-50, Springer, 1999. [doi]

This author has not been identified. Look up 'Bertrand Jeannet' in GoogleThis author has not been identified. Look up 'Nicolas Halbwachs' in GoogleThis author has not been identified. Look up 'Pascal Raymond' in Google

runs on WebDSL