#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1

<p>Video of this podcast can be found on our <a href="https://youtu.be/QbJk8ZizKXQ" target="_blank">Youtube channel</a>. </p><p>Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/</p><p>Akita Software: https://www.akitasoftware.com/</p><p>Galois, Inc.: https://galois.com/</p><p>Joey Dodds: https://galois.com/team/joey-dodds/</p><p>Shpat Morina:  https://galois.com/team/shpat-morina/</p><p>Contact us: marketing@galois.com</p>