@article{oai:ipsj.ixsq.nii.ac.jp:00065016,
 author = {丸山, 宏 and 宗藤, 誠治 and 横手, 靖彦 and 篠崎, 郁生 and Hiroshi, Maruyama and Seiji, Munetoh and Yasuhiko, Yokote and Ikuo, Shinozaki},
 issue = {4},
 journal = {情報処理},
 month = {Apr},
 pages = {354--359},
 title = {安全で安心できるe-社会を実現するソフトウェアとシステム技術：3.ソフトウェア完全性検証技術},
 volume = {45},
 year = {2004}
}