G galois.com What works (and doesn't) selling formal methods 144 points azhenley 1 year ago 75 comments