2002年 Program Generation from Film Specifications Proceedings of the sixth IASTED International Conference :SOFTWARE ENGINEERING AND APPLICATIONS 巻 403-410 号 エクスポート BibTeX RIS