@techreport{weko_28075_1, author = "庄内亨 and 清水,嗣雄", title = "実行命令数に関する数学的帰納法と再帰帰納法による形式検証", year = "1993", institution = "(株)日立製作所 中央研究所, (株)日立製作所 中央研究所", number = "6(1992-SLDM-065)", month = "jan" }