# content
What Works (and Doesn't) Selling Formal Methods (via oger) — discussion

#formalmethods