Course code, if applicable: COMP426
University hosting the course: The University of Waikato
Contact person: Judy Bowen, judy.bowen@waikato.ac.nz
Concepts taught: Formal specification of interactive systems
Tools used:
Webpage: https://paperoutlines.waikato.ac.nz/outline/COMP426-17B%20(HAM)
Course code, if applicable: COMP426 University hosting the course: The University of Waikato Contact person: Judy Bowen, judy.bowen@waikato.ac.nz Concepts taught: Formal specification of interactive systems Tools used: Webpage: https://paperoutlines.waikato.ac.nz/outline/COMP426-17B%20(HAM)