Integrity Static Analysis of COTS/SOUP.

Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones

Browse the full SAFECOMP paper archive.