Compile-Time Verification of Properties of Heap Intensive Programs
https://www.powershow.com/view4/590b67-ZmRlZ/Compile-Time_Verification_of_Properties_of_Heap_Intensive_Programs_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
