Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cinzia Bernardeschi, Nicoletta De Francesco. Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 1-15, Springer, 2002. [doi]

This author has not been identified. Look up 'Cinzia Bernardeschi' in GoogleThis author has not been identified. Look up 'Nicoletta De Francesco' in Google

runs on WebDSL