@techreport{oai:tsukuba.repo.nii.ac.jp:00018767,
 author = {南出, 靖彦},
 month = {},
 note = {科学研究費補助金(若手研究B)研究成果報告書：2006-2008
課題番号：18700018},
 title = {対話的定理証明によるソフトウェアの精密な検証},
 year = {2009},
 yomi = {ミナミデ, ヤスヒコ}
}