[cbc] First Event-B Homework

Hi, everyone. The first Event-B homework has been posted at

https://wp.software.imdea.org/cbc/2023/02/20/first-event-b-homework-2/

Deadline: Tuesday February 28th, 23:59.

Please don't hesitate to write me if you have questions. Also, please be sure to read the homework carefully before this Wednesday's lecture so that we can clarify any doubts at that time.

Best regards,

Manuel