%0 Conference Paper %1 journals/corr/HealyMP17 %A Healy, Andrew %A Monahan, Rosemary %A Power, James F. %B F-IDE@FM %D 2016 %E Dubois, Catherine %E Masci, Paolo %E Méry, Dominique %K dblp %P 20-37 %T Predicting SMT Solver Performance for Software Verification. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs240.html#HealyMP17 %V 240

@inproceedings{journals/corr/HealyMP17, added-at = {2018-09-12T00:00:00.000+0200}, author = {Healy, Andrew and Monahan, Rosemary and Power, James F.}, biburl = {https://www.bibsonomy.org/bibtex/2e6ab29adbdd67c3c949b1847b0cf2ecb/dblp}, booktitle = {F-IDE@FM}, crossref = {journals/corr/DuboisMM17}, editor = {Dubois, Catherine and Masci, Paolo and Méry, Dominique}, ee = {http://arxiv.org/abs/1701.08466}, interhash = {faf56cd4d45aa94f5e72ebc1a905b7bf}, intrahash = {e6ab29adbdd67c3c949b1847b0cf2ecb}, keywords = {dblp}, pages = {20-37}, series = {EPTCS}, timestamp = {2024-04-09T09:30:50.000+0200}, title = {Predicting SMT Solver Performance for Software Verification.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs240.html#HealyMP17}, volume = 240, year = 2016 }