2 Mar
2024
2 Mar
'24
12:36 p.m.
Dear all,
the second homework for Correctness by Construction is available at t.ly/upT7l .
Deadline: Tuesday, March 26th, 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