Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022

Length 45:38 • 2K Views • 1 year ago
Share

Video Terkait