Typestate Programming (via kaycebasques) — discussion

#formalmethods #hardware #plt #rust