Book excerpts

• Front matter
  • Table of contents
  • Preface
  • Notes for teachers
  • Chapter 0
• Appendix A: Dafny cheat sheet

© 2023 Massachusetts Institute of Technology