Information flow analysis by abstract interpretation

Matteo Zanioli. Information flow analysis by abstract interpretation. PhD thesis, Ca' Foscari University of Venice, Italy, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.