Foundational certification of data-flow analyses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maria João Frade, Ando Saabas, Tarmo Uustalu. Foundational certification of data-flow analyses. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 107-116, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Maria João Frade' in GoogleThis author has not been identified. Look up 'Ando Saabas' in GoogleThis author has not been identified. It may be one of the following persons:

Tarmo Uustalu

Look up 'Tarmo Uustalu' in Google

runs on WebDSL