@inproceedings{HL11-cav, title = "Model Checking Recursive Programs with Numeric Data Types", author = "Matthew Hague and Anthony Widjaja Lin", year = "2011", booktitle = "Computer Aided Verification (CAV)", note = "Prototypical implementation: <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.tgz">[tgz]</a> <a href="http://www.comlab.ox.ac.uk/recount/downloads/implementation.txz">[txz]</a>.", }