16 Mar
2026
16 Mar
'26
2:37 p.m.
Dear all,
the second exercise sheet for the Correctness by Construction course is available. Please access it at:
https://wp.software.imdea.org/cbc/2026/03/16/second-exercise-sheet/
Deadline: Monday, April 6th, 2026.
Best regards,
--
+-----------------------------------------------------------------------------+
| Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) |
| Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain |
| Phone: +34-91-101-2202 ext 4140 |