@article{weko_7523_1, author = "林,健志 and 五十嵐,滋", title = "プログラムの検証理論", journal = "情報処理", year = "1976", volume = "17", number = "5", month = "may" }