Reminder: there is no lecture Correctness by Construction lecture today,
as UPM has Monday lectures to compensate for several Mondays that are
holidays during this semester.
Best,
--
+-----------------------------------------------------------------------------+
| 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 |