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  - 

DO  - DOI: 10.48550/arxiv.1705.09615

Y2  - 2025/11/05

ER  -