search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Formal Software Engineering #14

Open jff opened 5 years ago

jff commented 5 years ago

Issue by luigiapetre Friday Jun 01, 2018 at 21:34 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/14

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