Introducing Software Modelling with Alloy at VUW

Author(s). James Noble, David J. Pearce and Lindsay Groves.

Venue. In Workshop on Formal Methods in Computer Science Education (FORMED), pages 81--90, 2008. ©ACM Press