Roger Duke. The design of an experiential component for a formal methods computer science subject. In Alan Fekete, John Rosenberg, editors, Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996. Volume 1 of ACM International Conference Proceeding Series, pages 111-118, ACM, 1996. [doi]
No references recorded for this publication.
No citations of this publication recorded.