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