20 Apr
2022
20 Apr
'22
5:52 a.m.
Hi. The third homework for Correctness by Construction is available at https://wp.software.imdea.org/cbc/2022/04/19/third-cbc-homework/ .
The deadline to turn it in is May 4th, 2022.
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 |