@article{weko_16366_1, author = "紫合,治 and 藤林,信也 and 岩元,莞二", title = "高信頼性ソフトウェア開発のためのプログラミングシステム", journal = "情報処理学会論文誌", year = "1979", volume = "20", number = "4", pages = "322--329", month = "jul" }