言語種別 英語 発行・発表の年月 2002/03 形態種別 その他論文 査読 査読あり 標題 FXL: A Form Exchange Language of Modular Forms for Program Specification Documents 執筆形態 共著 掲載誌名 Proceedings of the JSSST SIGOOC 2001 Workshop on Systems for Programming and Applications 巻・号・頁 pp.8 pages 著者・共著者 Tomokazu ARITA, Shun-ichi NAKAGAWA, Kensei TSUCHIDA, and Takeo YAKU 概要 （オンライン）