Course code, if applicable: COMP1600
University hosting the course: Australian National University
Contact person: Rajeev Gore, Rajeev.Gore@anu.edu.au
Concepts taught: formal specification, Hoare Logic
Tools used:
Webpage: https://programsandcourses.anu.edu.au/course/COMP1600
Course code, if applicable: COMP1600 University hosting the course: Australian National University Contact person: Rajeev Gore, Rajeev.Gore@anu.edu.au Concepts taught: formal specification, Hoare Logic Tools used: Webpage: https://programsandcourses.anu.edu.au/course/COMP1600