Deductive Software Verification II

2 Outubro 2019, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Hoare logic