Exercises on Hoare Calculus II

29 Setembro 2021, 15:00 • Antónia Lopes

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