Multi-paradigm Based Instruction Assistant System forFormal Semantics Course

JIN Ying, ZHENG Xiaojuan, ZHANG Jing, SUN Xudong

Journal of Jilin University Science Edition . 2009, (03): 530 -536 .