#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2
Building Better Systems - A podcast by Galois, Joey Dodds, Shpat Morina
Categorie:
Jean Yang, Founder and CEO of Akita Software, walks us through what makes API analysis an effective approach to finding critical issues in your systems, and what it takes to get a new company started. As a bonus, you'll learn about what formal methods and fashion design have in common. This is part two of a two-part episode. Please make sure to check out part one.
