26 Feb
2024
26 Feb
'24
11:50 a.m.
Dear all,
the first homework for Correctness by Construction is available at https://t.ly/WoFXr .
Deadline: Tuesday March 5th, 23:59.
Best regards,
--
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
Board of Directors, Informatics Europe : https://www.informatics-europe.org/
Madrid, Spain : +34-91-101-2202 ext. 4140