The third homework for Event-B is available.
Deadline: Wednesday, April 21st, 15:59.
Please access it at
https://wp.software.imdea.org/cbc/2021/04/03/third-event-b-homework/
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 |