TY  - RPRT
TI  - From Safety To Termination And Back: SMT-Based Verification For Lazy Languages
AU  - Niki Vazou
AU  - Eric L. Seidel
AU  - Ranjit Jhala
PY  - 2014
UR  - https://arxiv.org/abs/1401.6227
ID  - 1401.6227
ER  -