HOME > Research Paper List > Book

Japanese / English

2000

• T. Ogawa and J. Tanaka
• "CafePie: A Visual Programming System for CafeOBJ,"
• CAFE: An Industrial-Strength Algebraic Formal Method, Elsevier Science, 2000, pp.145-160.
• (tohru_cafe2k.ps.gz) (tohru_cafe2k.pdf)