Bansal, SoravDahiya, Manjeet2018-12-152024-10-292018http://10.17.50.146:4000/handle/123456789/2494Black-box equivalance checking- BuildingBlack-box equivalance checking across compiler transformationsThesis