Verified Programming in Dafny (via nextos) — discussion

#formalmethods #pdf #plt