Formal methods and the future of programming (via nextos) — discussion

#formalmethods