Bringing Formal Methods to Industry #1 Post by jldodds » Fri, Aug 17, 2018, 5:27 PM UTC Bringing Formal Methods to Industrytwitter.com