Implementing Dynamic Aggregations of Abstract Machines in the B Method
https://www.powershow.com/view1/c4d8b-ZDc1Z/Implementing_Dynamic_Aggregations_of_Abstract_Machines_in_the_B_Method_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
