AO-5 University of Western Sydney (UWS), Unit Outlines - Formal Methods (300122) - Autumn 2006. Western Sydney University, accessed 27/05/2026, https://collections.westernsydney.edu.au/nodes/view/86169