Course code, if applicable: SWEN324
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/324/2018/offering?crn=30041
Course code, if applicable: SWEN324 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/324/2018/offering?crn=30041