@inproceedings{KoChYi-PCC-2009,
   author = {Soonho Kong and Wontae Choi and Kwangkeun Yi},
   title = {PCC Framework for Program-Generators},
   booktitle = {Workshop on Proof-Carrying Code and Software Certification},
   year = {2009},
   category = {program-analysis-tools},
   format = {pdf},
}