TY  - RPRT
TI  - SLICE: Specification-Level Isolation of Contract Enforcement
AU  - Soohan Lim
AU  - Hyundong Jin
AU  - Yo-Sub Han
PY  - 2026
UR  - https://arxiv.org/abs/2608.21483
ID  - 2608.21483
ER  -