Modular Software Fault Isolation as Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Besson, Thomas P. Jensen, Julien Lepiller. Modular Software Fault Isolation as Abstract Interpretation. In Andreas Podelski, editor, Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. Volume 11002 of Lecture Notes in Computer Science, pages 166-186, Springer, 2018. [doi]

This author has not been identified. Look up 'Frédéric Besson' in GoogleThis author has not been identified. Look up 'Thomas P. Jensen' in GoogleThis author has not been identified. Look up 'Julien Lepiller' in Google

runs on WebDSL