#1: Jean Yang – "Formal" Methods? How About "Business Casual" Methods? Part 1 Building Better Systems podcast

Контент предоставлен Galois Inc., Joey Dodds, and Shpat Morina. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Galois Inc., Joey Dodds, and Shpat Morina или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.

Building Better Systems «
#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1

4y ago 29:39

MP3•Главная эпизода

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/

22 эпизодов

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina