Formalising Behaviour-Preserving Object-Oriented Program Transformations
https://www.powershow.com/view1/1b7247-ZDc1Z/Formalising_Behaviour-Preserving_Object-Oriented_Program_Transformations_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
