On the problem of verification of source code transformations: a case study

Fu, Q.Q.FuBruynooghe, M.M.BruynoogheJanssens, G.G.JanssensCatthoor, FranckyFranckyCatthoor2021-10-152021-10-152004https://imec-publications.be/handle/20.500.12860/8931On the problem of verification of source code transformations: a case studyProceedings paper