TY  - RPRT
TI  - VST-A: A Foundationally Sound Annotation Verifier
AU  - Litao Zhou
AU  - Jianxing Qin
AU  - Qinshi Wang
AU  - Andrew W. Appel
AU  - Qinxiang Cao
PY  - 2023
UR  - https://arxiv.org/abs/1909.00097
ID  - 1909.00097
ER  -