Inductive Definitions (our meta-language for specifications)
https://www.powershow.com/view1/19ec4c-ZDc1Z/Inductive_Definitions_our_meta-language_for_specifications_powerpoint_ppt_presentation
&media=https://s3.amazonaws.com/images.powershow.com/A1257787167UsXTW.pr.jpg)
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/