@inproceedings{CTT100608393,
  author = {西崎真也 and 玉野 浩嗣},
  title = {等式アーカイブにおける安全な検査},
  booktitle = {日本ソフトウェア科学会第22回大会論文集},
  year = 2010,
}