13 Feb
2025
13 Feb
'25
12:04 a.m.
Hi, all. The first exercise sheet for Event-B is available at the course website. Please see the announcement at
https://wp.software.imdea.org/cbc/2025/02/13/first-cbc-homework-deadline-tue...
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