@article{weko_211643_1, author = "小島,裕登 and 山田,俊行", title = "手続きを含む命令型プログラムを検証するための証明戦術の提案", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2021", volume = "14", number = "3", pages = "1--1", month = "jun" }