@inproceedings{weko_117818_1, author = "川崎,好文 and 三好,武重 and 白井,豊", title = "Formal Approachに基づくFASETプロジェクトFASET(1)ソフトウェア環境統合化技術開発計画", booktitle = "全国大会講演論文集", year = "1989", volume = "第39回", number = "ソフトウェア工学", pages = "1531--1532", month = "oct" }