20 Mar
2022
20 Mar
'22
7:21 p.m.
Hi, all. The second homework for the Correctness by Construction course is available. Please access it at
https://wp.software.imdea.org/cbc/2022/03/20/second-cbc-homework/
Deadline to turn it in: Saturday, April 2nd, 00:01. Send it to me by email.
I recommend to have a look at it before next lecture so that I can answer any question with time enough.
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 |