## Andrey Rybalchenko

*Constraint Solving for Program Verification: Theory and Practice by Example*

CSL, 2010.

@inproceedings{CSL-2010-Rybalchenko, author = "Andrey Rybalchenko", booktitle = "{Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic}", doi = "10.1007/978-3-642-15205-4_7", isbn = "978-3-642-15204-7", pages = "51", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Constraint Solving for Program Verification: Theory and Practice by Example}", volume = 6247, year = 2010, }