Materialization in Shape Analysis with Structural Invariant Checkers
https://www.powershow.com/view1/89ca2-ZDc1Z/Materialization_in_Shape_Analysis_with_Structural_Invariant_Checkers_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
