How to convince engineers that formal methods is cool

by Hillel Wayne - (0 min read)