Experience teaching Z with tool and web support
Jonathan P. Bowen · ACM SIGSOFT Software Engineering Notes · 2001
This short paper describes experiences of presenting the formal Z notation on one and later two course modules to computer science undergraduates, especially with respect to providing supporting web-based resources and using tool support. The modules were part of a more general course unit on formal methods.