31 Mar
2025
31 Mar
'25
1:11 a.m.
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