Deductive Software Verification II

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

• Hoare logic