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

Learning Resources Talks
1

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

Comments welcome! View the #code-sync tag for more Code Sync talks!

2 Likes