@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"
}