AO-7 University of Western Sydney, Nepean (UWSN), Unit Outline - Systems Programming 2 (14963) Formal Verification (14991 14929G) - Spring 1999. Western Sydney University, accessed 18/01/2026, https://collections.westernsydney.edu.au/nodes/view/134489