@article{CTT100600383,
  author = {Fang Ling and 佐々政孝},
  title = {自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証},
  journal = {情報処理学会論文誌 プログラミング},
  year = 2009,
}

@inproceedings{CTT100586791,
  author = {Fang, L. and Sassa, M.},
  title = {Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference},
  booktitle = {Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009)},
  year = 2009,
}

@inproceedings{CTT100600387,
  author = {FangLing and 佐々政孝},
  title = {自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証},
  booktitle = {},
  year = 2008,
}

@inproceedings{CTT100600384,
  author = {Ling Fang and MASATAKA SASSA},
  title = {Generating Java Compiler Optimizers Using Bidirectional CTL},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  year = 2007,
}

@inproceedings{CTT100560542,
  author = {方玲 and 佐々政孝},
  title = {双方向CTLによるJava 最適化器の生成},
  booktitle = {情報処理学会論文誌：プログラミング},
  year = 2007,
}

@inproceedings{CTT100600386,
  author = {方玲 and 佐々政孝},
  title = {双方向CTLによるJava最適化器の生成},
  booktitle = {日本ソフトウェア科学会大会論文集 第23回 1B-3},
  year = 2006,
}

@misc{CTT100600385,
  author = {FangLing and 佐々政孝},
  title = {双方向CTLによるJava最適化器の生成},
  year = 2006,
}