Facebook Pixel
Building Better Systems

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

Building Better Systems
Building Better Systems

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: marketing@galois.com

Building Better Systems
Not playing