TY  - JOUR

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

JO  - CoRR

PY  - 2017/01/01

AU  - Danicic S

AU  - Hierons RM

AU  - Laurence MR

ED  - 

VL  - abs/1705.09615

Y2  - 2024/12/22

ER  -