No abstract available.

@article{paperbot315,
  title = {Editor's Foreword to “Static Backward Slicing of Non-Deterministic Programs and Systems”},
  author = {},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {40},
  number = {3},
  year = {2018},
  doi = {10.1145/3243871}
}