Welcome to the Comp311-Master wiki!
An Axiomatic Basis for Computer Programming (Hoare).pdf
Program Verification via Induction and Symbolic Evaluation.pdf
Reasoning About Recursive Programs (Burstall Notes).pdf
Recursive_Programs_as_Definitions_in_First-Order_L.pdf
Structural Induction (Burstall).pdf