Proofs of Correctness: An Introduction to Axiomatic Verification
https://www.powershow.com/view1/1e30e1-ZDc1Z/Proofs_of_Correctness_An_Introduction_to_Axiomatic_Verification_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/