AO-5 University of Western Sydney (UWS), Unit Outline - Formal Methods (300122) - Spring 2004. Western Sydney University, accessed 24/06/2026, https://collections.westernsydney.edu.au/nodes/view/107018