Formal Techniques in Higher Education: A Proposal

Paola Forcheri, Maria Teresa Molfino. Formal Techniques in Higher Education: A Proposal. In Ivan Tomek, editor, Computer Assisted Learning, 4th International Conference, ICCAL 92, Wolfville, Nova Scotia, Canada, June 17-20, 1992, Proceedings. Volume 601 of Lecture Notes in Computer Science, pages 212-225, Springer, 1992.

Abstract

Abstract is missing.