7 Outubro 2016, 18:30 • Antónia Lopes
Exercises aboyt Hoare Logic and Dafny from Problem Set 1 and 2.