Third Event-B Homework - cbc

14 Apr 2023


      Hi, everyone.
I have posted the third Event-B homework; please check the course's
website or download it directly from
https://wp.software.imdea.org/cbc/wp-content/uploads/sites/5/2023/04/03-one-...
Deadline: Wednesday, May 3rd 2023, 15:59, .
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                        |