{"year":"2020","citation":{"ieee":"C. Richter and H. Wehrheim, “Attend and Represent: A Novel View on Algorithm Selection for Software Verification,” in <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>, 2020, pp. 1016–1028.","chicago":"Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on Algorithm Selection for Software Verification.” In <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>, 1016–28. {IEEE}, 2020.","ama":"Richter C, Wehrheim H. Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In: <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>. {IEEE}; 2020:1016-1028.","apa":"Richter, C., &#38; Wehrheim, H. (2020). Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i> (pp. 1016–1028). {IEEE}.","bibtex":"@inproceedings{Richter_Wehrheim_2020, title={Attend and Represent: A Novel View on Algorithm Selection for Software Verification}, booktitle={35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, publisher={{IEEE}}, author={Richter, Cedric and Wehrheim, Heike}, year={2020}, pages={1016–1028} }","mla":"Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on Algorithm Selection for Software Verification.” <i>35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020</i>, {IEEE}, 2020, pp. 1016–28.","short":"C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028."},"page":"1016-1028","title":"Attend and Represent: A Novel View on Algorithm Selection for Software Verification","date_updated":"2022-01-06T06:54:42Z","publisher":"{IEEE}","date_created":"2021-01-19T10:32:17Z","author":[{"last_name":"Richter","id":"50003","full_name":"Richter, Cedric","first_name":"Cedric"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"status":"public","type":"conference","publication":"35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020","language":[{"iso":"eng"}],"_id":"21018","user_id":"29719","department":[{"_id":"77"}]}