Isabella Mastroeni. Abstract non-interference. PhD thesis, University of Verona, Italy, 2005. [doi]
@phdthesis{it-2435, title = {Abstract non-interference}, author = {Isabella Mastroeni}, year = {2005}, url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0019849}, researchr = {https://researchr.org/publication/it-2435}, cites = {0}, citedby = {0}, school = {University of Verona, Italy}, }