%0 Journal Article %1 noauthororeditor %A Appel, %D 2016 %K compcert %T Modular Verification for Computer Security

@article{noauthororeditor, added-at = {2017-06-25T23:13:32.000+0200}, author = {Appel}, biburl = {https://www.bibsonomy.org/bibtex/209f814a02b5f502c3729f5245a5cbc76/hernan}, description = {modsec.pdf}, interhash = {b17c47f603a5f19ff39d8e1c37be2e44}, intrahash = {09f814a02b5f502c3729f5245a5cbc76}, keywords = {compcert}, timestamp = {2017-06-25T23:13:32.000+0200}, title = {Modular Verification for Computer Security}, year = 2016 }