@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: /Users/damiano/bin/bib2bib -c butype="phdthesis" -ob ZZZphdthesis.bib --remove pdf papers.bib}}
@phdthesis{phDTh,
author = {Damiano Zanardini},
title = {Certified {A}bstract {N}on-{I}nterference: {O}bject-{O}riented {C}ode {V}alidation for {I}nformation {F}low {S}ecurity},
school = {Dipartimento di Informatica, Universit\`a di Verona},
year = {2006},
month = {April},
butype = {phdthesis}
}
This file was generated by bibtex2html 1.99.