Ming Kawaguchi, Patrick Maxim Rondon, and Ranjit Jhala. 2010. “Dsolve: Safety Verification via Liquid Types.” In Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, Pp. 123–126.