Siirry offline-tilaan Player FM avulla!
#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2
Manage episode 277678173 series 2824530
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
22 jaksoa
Manage episode 277678173 series 2824530
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
22 jaksoa
Все серии
×Tervetuloa Player FM:n!
Player FM skannaa verkkoa löytääkseen korkealaatuisia podcasteja, joista voit nauttia juuri nyt. Se on paras podcast-sovellus ja toimii Androidilla, iPhonela, ja verkossa. Rekisteröidy sykronoidaksesi tilaukset laitteiden välillä.