Course code, if applicable: COMPX361
University hosting the course: The University of Waikato
Contact person: Steve Reeves, stever@waikato.ac.nz
Concepts taught: Logic, program verification
Tools used:
Webpage: https:/papers.waikato.ac.nz/subjects/COMPX/COMPX361
Course code, if applicable: COMPX361 University hosting the course: The University of Waikato Contact person: Steve Reeves, stever@waikato.ac.nz Concepts taught: Logic, program verification Tools used: Webpage: https:/papers.waikato.ac.nz/subjects/COMPX/COMPX361