Eiffel Refinement Calculus for OOSystems R'Paige and J'Ostroff
https://www.powershow.com/view/2539b3-ZTUxM/Eiffel_Refinement_Calculus_for_OOSystems_RPaige_and_JOstroff_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/