Course code, if applicable: SWEN90010
University hosting the course: The University of Melbourne
Contact person: Toby Murray, toby.murray@unimelb.edu.au
Concepts taught: Alloy, Hoare Logic, SPARK Ada
Tools used: Alloy
Webpage: https://handbook.unimelb.edu.au/2018/subjects/swen90010/
Year/Level: MSc
Course code, if applicable: SWEN90010 University hosting the course: The University of Melbourne Contact person: Toby Murray, toby.murray@unimelb.edu.au Concepts taught: Alloy, Hoare Logic, SPARK Ada Tools used: Alloy Webpage: https://handbook.unimelb.edu.au/2018/subjects/swen90010/ Year/Level: MSc