@article{article, title = {{A trajectory-based strict semantics for program slicing}}, publisher = {{Elsevier}}, url = {{}}, year = {{2010}}, month = {{3}}, author = {{Laurence MR and Barraclough RW and Binkley D and Danicic S and Harman M and Hierons RM and Kiss A and Ouarbya L}}, volume = {{411}}, journal = {{Theoretical Computer Science}}, issue = {{1-13}}, pages = {{1372-1386}}, note = {{Accessed on 2024/12/22}}}