Deductive verification with Hoare Logic

28 Setembro 2022, 18:30 • Antónia Lopes

A deductive proof of the partial correctness of a program that calculates the power of a number.