TY  - RPRT
TI  - OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations
AU  - Pengcheng Jiang
AU  - Kenji Tei
PY  - 2021
UR  - https://arxiv.org/abs/2108.08282
ID  - 2108.08282
ER  -