TY  - RPRT
TI  - ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
AU  - Sankha Narayan Guria
AU  - Niki Vazou
AU  - Marco Guarnieri
AU  - James Parker
PY  - 2022
UR  - https://arxiv.org/abs/2203.12069
ID  - 2203.12069
ER  -