@conference {DBLP:conf/cav/RondonBKJ12,
	title = {CSolve: Verifying C with Liquid Types},
	booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
	year = {2012},
	pages = {744{\textendash}750},
	doi = {10.1007/978-3-642-31424-7_59},
	url = {http://dx.doi.org/10.1007/978-3-642-31424-7_59},
	author = {Patrick Maxim Rondon and Alexander Bakst and Ming Kawaguchi and Ranjit Jhala}
}
