Read news on program verification with our app.
Read more in the app
Teaching Program Verification in Dafny at Amazon (2023)