Proof%20Carrying%20Code%20and%20Proof%20Preserving%20Program%20Transformations
https://www.powershow.com/view1/1cc829-ZDc1Z/Proof_20Carrying_20Code_20and_20Proof_20Preserving_20Program_20Transformations_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
