Open luigiapetre opened 6 years ago
Course code, if applicable: COMP781 University hosting the course: Macquarie University Contact person: Annabelle McIver, annabelle.mciver@mq.edu.au Concepts taught: Hoare Logic, model checking Tools used: Webpage: http://handbook.mq.edu.au/2017/Units/ResearchUnit/COMP781
Course code, if applicable: COMP781 University hosting the course: Macquarie University Contact person: Annabelle McIver, annabelle.mciver@mq.edu.au Concepts taught: Hoare Logic, model checking Tools used: Webpage: http://handbook.mq.edu.au/2017/Units/ResearchUnit/COMP781