Course code, if applicable: SWEN421
University hosting the course: Victoria University Wellington
Contact person: David Pearce, david.pearce@ecs.vuw.ac.nz
Concepts taught: Hoare Logic, software verification
Tools used:
Webpage: https://www.victoria.ac.nz/courses/swen/421/2018/offering?crn=18661
Course code, if applicable: SWEN421 University hosting the course: Victoria University Wellington Contact person: David Pearce, david.pearce@ecs.vuw.ac.nz Concepts taught: Hoare Logic, software verification Tools used: Webpage: https://www.victoria.ac.nz/courses/swen/421/2018/offering?crn=18661