Exercises on Hoare Calculus II

29 Setembro 2021, 18:30 • Antónia Lopes

Exercises1 (Hoare Calculus) : 2&3(t), {n≥0}Fact{f=n!}