コマツ マサヒコ   Komatsu Masahiko
  小松 雅彦
   所属   神奈川大学  外国語学部 英語英文学科
    神奈川大学大学院  人文学研究科 欧米言語文化専攻(言語学コース)
   職種   准教授
言語種別 英語
発行・発表の年月 1989/12
形態種別 その他
標題 A tool for execution of algebraic specification as prototypes and their translation into programs: ASPELA
執筆形態 単著
掲載誌名 Formal Approach to Software Environment Technology Technical Report
出版社・発行元 Tokyo: Joint System Development
巻・号・頁 (3),pp.8-14