FES 41: Lean e Verificação de Software, com Leonardo de Moura (AWS) - republicação
Nov 21, 2023•1 hr 19 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
Republicação do episódio 41 do podcast Fronteiras da Engenharia de Software, em que entrevistei Leonardo de Moura. Republico aqui, pois foi neste podcast minha primeira entrevista com Leonardo: Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research https://podcasters.spotify.com/pod/show/adolfont/episodes/Raciocnio-Automatizado-com-Leonardo-de-Moura--Pesquisador-na-Microsoft-Research-e1anc8j
For the best experience, listen in Metacast app for iOS or Android