Updates to the SMT Book

This section will provide updates, corrections, and additions to the book that, for whatever reason, did not get included. Readers are encouraged to contact us with any suggestions, complaints, or questions; we will respond within two working days.

Technical Errata List for first edition