Maude: A Wide-Spectrum Formal Language for Secure Active Networks
https://www.powershow.com/view4/81e2be-YjgzZ/Maude_A_Wide-Spectrum_Formal_Language_for_Secure_Active_Networks_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
