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
2 Mar
2 Mar
12:36 p.m.
New subject: Second CbC Homework
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
397
Age (days ago)
402
Last active (days ago)
1 comments
1 participants
participants (1)
-
Manuel Carro