Eiffel Refinement Calculus for OOSystems R.Paige and J.Ostroff
https://www.powershow.com/view/1438a6-Y2RjM/Eiffel_Refinement_Calculus_for_OOSystems_R_Paige_and_J_Ostroff_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/