Open jff opened 5 years ago
Issue by luigiapetre Friday Jun 01, 2018 at 21:17 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/9
Course code, if applicable: COMP782 University hosting the course: Macquarie University Contact person: Annabelle McIver, annabelle.mciver@mq.edu.au Concepts taught: Hoare Logic, verification Tools used: Webpage: http://handbook.mq.edu.au/2018/Units/ResearchUnit/COMP782
Course code, if applicable: COMP782 University hosting the course: Macquarie University Contact person: Annabelle McIver, annabelle.mciver@mq.edu.au Concepts taught: Hoare Logic, verification Tools used: Webpage: http://handbook.mq.edu.au/2018/Units/ResearchUnit/COMP782