| Title | A Trajectory-based Strict Semantics for Program Slicing |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Barraclough RW, Binkley D, Danicic S, Harman M, Hierons RM, Kiss Á, Laurence M, Ouarbya L |
| Journal | Theoretical Computer Science |
| Volume | 411 |
| Pagination | 1372–1386 |
Page last modified: January 16, 2012