@inproceedings{FBB+8,
title = {Model Generation for Quantified Formulas: {A} Taint-Based Approach },
author = {Farinier, Benjamin and Bardin, Sebastien and Bonichon, Richard and Potet, Marie-Laure},
year = {2018},
booktitle = {CAV'18, 30th International Conference on Computer Aided Verification},
team = {PACSS, axe_Pacs},
}
