6 Outubro 2021, 18:30 • Antónia Lopes
Exercises1 (Hoare) : 2(q), 6, 7, 8 Exercises2 (Dafny&Hoare): 1,2