Materialization%20in%20Shape%20Analysis%20with%20Structural%20Invariant%20Checkers
https://www.powershow.com/view/b5afc-OWE5M/Materialization_20in_20Shape_20Analysis_20with_20Structural_20Invariant_20Checkers_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
