TY  - RPRT
TI  - Refinement Reflection: Complete Verification with SMT
AU  - Niki Vazou
AU  - Anish Tondwalkar
AU  - Vikraman Choudhury
AU  - Ryan G. Scott
AU  - Ryan R. Newton
AU  - Philip Wadler
AU  - Ranjit Jhala
PY  - 2017
DO  - 10.1145/3158141
UR  - https://arxiv.org/abs/1711.03842
ID  - 1711.03842
ER  -