Third Event B Homework (2025) - cbc

31 Mar 2025


      Dear all,
the third Event B homework is ready.  Please access it at
https://wp.software.imdea.org/cbc/2025/03/31/third-event-b-homework-2/
Note that the PDF linked there contains internally a link to a Rodin
model for the "Phone Agenda" refinement task.  You should download and
refine it.
Deadline to turn in the models: April 29th, 23:59.
Best,
-- 
 Manuel Carro                              : manuel.carro@{upm.es,imdea.org}
 Associate Professor, School of CS, UPM    : http://www.fi.upm.es       
 Director, IMDEA Software Institute        : https://software.imdea.org  
 Madrid, Spain                             : +34-91-101-2202 ext. 4140