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]
Abstract is missing.