First Event-B exercise sheet - cbc

22 Feb 2022


      Hi, all.  The first exercise sheet for Event-B is available at the
course website (please access it through https://wp.software.imdea.org/cbc/2022/02/22/first-cbc-homework/).
Best,
-- 
+-----------------------------------------------------------------------------+
| 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                        |