Property-Preservation Synthesis for Unified Control- and Data-Oriented Models
https://www.powershow.com/view4/473b98-MmVjN/Property-Preservation_Synthesis_for_Unified_Control-_and_Data-Oriented_Models_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
