Revision / Consolidation

17 dezembro 2019, 11:00 • João Fernando Ferreira

We solved a selection of exercises on program verification (Hoare Logic, Dafny, and Separation Logic).