Login / Signup

A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development.

Yujun ZhengHaihe ShiJinyun Xue
Published in: ICWL Workshops (2010)
Keyphrases