25 Feb
2021
25 Feb
'21
12:43 p.m.
The first homework for the Correctness by Construction course is available at
https://wp.software.imdea.org/cbc/2021/02/25/first-event-b-homework/
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 |