Third Event-B Homework: Room for One - cbc

3 Apr 2021


      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                        |