Observational Completeness on Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gianluca Amato, Francesca Scozzari. Observational Completeness on Abstract Interpretation. In Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Volume 5514 of Lecture Notes in Computer Science, pages 99-112, Springer, 2009. [doi]

This author has not been identified. Look up 'Gianluca Amato' in GoogleThis author has not been identified. Look up 'Francesca Scozzari' in Google

runs on WebDSL