Summer School on Language-Based Techniques for Integrating with the External World Types for Safe C-Level Programming Part 2: Quantified-Types in C
https://www.powershow.com/view1/4c274-ZDc1Z/Summer_School_on_Language-Based_Techniques_for_Integrating_with_the_External_World_Types_for_Safe_C-Level_Programming_Part_2_Quantified-Types_in_C_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/