News
Chapter 2 deadline extended to Wednesday December 4th
Written on 02.12.2024 09:10 by Andrea Lattuada
Dear Students, due to the (albeit brief) downtime of CMS, I'll extend the deadline for Chapter 2 to the end of the day on Wednesday.
Formal Verification of Systems Software
Andrea Lattuada, Derek Dreyer