@inproceedings{Feng_2007,
    doi = {10.1145/1190315.1190325},
    url = {https://doi.org/10.1145%2F1190315.1190325},
    year = {2007},
    month = {jan},
    publisher = {{ACM}},
    author = {Xinyu Feng and Zhaozhong Ni and Zhong Shao and Yu Guo},
    title = {An open framework for foundational proof-carrying code},
    booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} international workshop on Types in languages design and implementation}
}

@inproceedings{Feng_2007, doi = {10.1145/1190315.1190325}, url = {https://doi.org/10.1145%2F1190315.1190325}, year = {2007}, month = {jan}, publisher = {{ACM}}, author = {Xinyu Feng and Zhaozhong Ni and Zhong Shao and Yu Guo}, title = {An open framework for foundational proof-carrying code}, booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} international workshop on Types in languages design and implementation} }