Yujun Zheng, Haihe Shi, Jinyun Xue. A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. In Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye, editors, New Horizons in Web-Based Learning - ICWL 2010 Workshops - ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers. Volume 6537 of Lecture Notes in Computer Science, pages 237-245, Springer, 2010. [doi]
Abstract is missing.