2024-03-28T20:02:32Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001332672023-11-17T02:17:36Z06504:08142:08144
形式仕様言語CafeOBJを用いたテキストエディタの仕様記述A Case Study of Specifying Emacs in CafeOBJjpnhttp://id.nii.ac.jp/1001/00133452/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=133267&item_no=1&attribute_id=1&file_no=1(株)日立製作所システム開発研究所北陸先端科学技術大学院大学来間, 啓伸二木, 厚吉AN00349328全国大会講演論文集第56回ソフトウェア科学・工学3843851998-03-172015-01-20