Cedric Richter, Heike Wehrheim. Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 1016-1028, IEEE, 2020. [doi]
@inproceedings{RichterW20-0,
title = {Attend and Represent: A Novel View on Algorithm Selection for Software Verification},
author = {Cedric Richter and Heike Wehrheim},
year = {2020},
url = {https://ieeexplore.ieee.org/document/9286080},
researchr = {https://researchr.org/publication/RichterW20-0},
cites = {0},
citedby = {0},
pages = {1016-1028},
booktitle = {35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020},
publisher = {IEEE},
isbn = {978-1-4503-6768-4},
}