Teaching Program Verification in Dafny at Amazon (2023)
https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/
#HackerNews #TeachingProgramVerification #Dafny #Amazon #2023 #SoftwareEngineering #CodeQuality
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst