TY  - GEN

T1  - Characterizing Minimal Semantics-preserving Slices of predicate-linear,
  Free, Liberal Program Schemas

T2  - arXiv

PY  - 2017/05/25

AU  - Danicic S

AU  - Hierons RM

AU  - Laurence MR

ED  - 

Y2  - 2024/12/22

ER  -