An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
https://www.powershow.com/view1/1d6a6a-ZDc1Z/An_Eclipse-based_Integrated_Environment_for_Developing_Executable_Structural_Operational_Semantics_Specifications_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
