Deriving a Slicing Algorithm via FermaT Transformations

Martin P. Ward, Hussein Zedan. Deriving a Slicing Algorithm via FermaT Transformations. IEEE Trans. Software Eng., 37(1):24-47, 2011. [doi]

Abstract

Abstract is missing.