Index of /aws-samples/how-to-write-more-correct-software-workshop/img/

../
better-mechanisms.png                              31-Jul-2023 09:37              229259
dafny-benefits.png                                 31-Jul-2023 09:37              216277
dafny.png                                          31-Jul-2023 09:37               91449
debugger.png                                       31-Jul-2023 09:37              245386
designer.png                                       31-Jul-2023 09:37              244753
developer.png                                      31-Jul-2023 09:37              243783
duvet-works.png                                    31-Jul-2023 09:37              365993
duvet.png                                          31-Jul-2023 09:37               46385
how-hard.png                                       31-Jul-2023 09:37              230865
mechanisms.png                                     31-Jul-2023 09:37              224173
reviewer.png                                       31-Jul-2023 09:37              243135