Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
Model Generation for Quantified Formulas: A Taint-Based Approach
CAV, 2018.
@inproceedings{CAV-2018-FarinierBBP, author = "Benjamin Farinier and Sébastien Bardin and Richard Bonichon and Marie-Laure Potet", booktitle = "{Proceedings of the 30th International Conference on Computer Aided Verification, Part II}", doi = "10.1007/978-3-319-96142-2_19", isbn = "['978-3-319-96141-5', '978-3-319-96142-2']", pages = "294--313", publisher = "{Springer}", title = "{Model Generation for Quantified Formulas: A Taint-Based Approach}", year = 2018, }