Podcast: Formal Methods for Every Engineer in an AI-Powered Future
Gabriela Mor
·
2026-07-10
·
via InfoQ
In this podcast Shane Hastie, Lead Editor for Culture & Methods spoke to Gabriela Moreira about making formal…
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。
