TranslationBased Compositional Reasoning for Software Systems
https://www.powershow.com/view/270460-YTk3M/TranslationBased_Compositional_Reasoning_for_Software_Systems_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/