@inproceedings{weko_120527_1, author = "佐藤,嘉一 and 板橋,吉徳 and 清水,敏彦 and 辻,宏郷 and 山中,顕次郎 and 大蒔,和仁", title = "LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]", booktitle = "全国大会講演論文集", year = "1991", volume = "第42回", number = "ソフトウェア工学", pages = "163--164", month = "feb" }