内容由Galois Inc., Joey Dodds, and Shpat Morina提供。所有播客内容(包括剧集、图形和播客描述)均由 Galois Inc., Joey Dodds, and Shpat Morina 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品,您可以按照此处概述的流程进行操作https://zh.player.fm/legal。
Player FM -播客应用
使用Player FM应用程序离线!
使用Player FM应用程序离线!
#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1
Manage episode 277678174 series 2824530
内容由Galois Inc., Joey Dodds, and Shpat Morina提供。所有播客内容(包括剧集、图形和播客描述)均由 Galois Inc., Joey Dodds, and Shpat Morina 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品,您可以按照此处概述的流程进行操作https://zh.player.fm/legal。
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集单集
Manage episode 277678174 series 2824530
内容由Galois Inc., Joey Dodds, and Shpat Morina提供。所有播客内容(包括剧集、图形和播客描述)均由 Galois Inc., Joey Dodds, and Shpat Morina 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品,您可以按照此处概述的流程进行操作https://zh.player.fm/legal。
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集单集
所有剧集
×欢迎使用Player FM
Player FM正在网上搜索高质量的播客,以便您现在享受。它是最好的播客应用程序,适用于安卓、iPhone和网络。注册以跨设备同步订阅。