Teaching Program Verification in Dafny at Amazon (2023)

60 points

by Jtsummers

3 days ago

20 comments