Open jff opened 5 years ago
Issue by GraemeSmith Thursday Aug 23, 2018 at 03:20 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/32
Course code, if applicable: TDA567 University hosting the course: Chalmers University Contact person: Srinivas Pinisetty Concepts taught: formal specification, software verification, verification Tools used: Dafny Webpage: http://www.cse.chalmers.se/edu/year/2017/course/TDA567/index.html
Course code, if applicable: TDA567 University hosting the course: Chalmers University Contact person: Srinivas Pinisetty Concepts taught: formal specification, software verification, verification Tools used: Dafny Webpage: http://www.cse.chalmers.se/edu/year/2017/course/TDA567/index.html