{"title":"Attend and Represent: A Novel View on Algorithm Selection for Software Verification","_id":"21018","language":[{"iso":"eng"}],"publisher":"{IEEE}","citation":{"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.","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} }","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.","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}.","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.","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.","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."},"type":"conference","page":"1016-1028","date_updated":"2022-01-06T06:54:42Z","publication":"35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020","department":[{"_id":"77"}],"author":[{"first_name":"Cedric","id":"50003","full_name":"Richter, Cedric","last_name":"Richter"},{"id":"573","first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"user_id":"29719","year":"2020","date_created":"2021-01-19T10:32:17Z","status":"public"}