Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
https://www.powershow.com/view/24bd34-OTIyN/Automatic_Refinement_and_Vacuity_Detection_for_Symbolic_Trajectory_Evaluation_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
