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

Video of this podcast can be found on our Youtube channel. 

Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/

Akita Software: https://www.akitasoftware.com/

Galois, Inc.: https://galois.com/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina:  https://galois.com/team/shpat-morina/

Contact us: [email protected]