| [1] | Damiano Zanardini. Certified Abstract Non-Interference: Object-Oriented Code Validation for Information Flow Security. PhD thesis, Dipartimento di Informatica, Università di Verona, April 2006. [ bib ] |
This file was generated by bibtex2html 1.99.