2002年
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
有田 友和
アリタ トモカズ (Tomokazu Arita)
更新日: 2020/05/17