TY  - RPRT
TI  - Decidable Verification of Uninterpreted Programs
AU  - Umang Mathur
AU  - P. Madhusudan
AU  - Mahesh Viswanathan
PY  - 2020
DO  - 10.1145/3290359
UR  - https://arxiv.org/abs/1811.00192
ID  - 1811.00192
ER  -