An Introduction to Proof-Carrying Code Peter Lee Carnegie Mellon University
https://www.powershow.com/view1/176892-ZDc1Z/An_Introduction_to_Proof-Carrying_Code_Peter_Lee_Carnegie_Mellon_University_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
