{"type":"conference","citation":{"bibtex":"@inproceedings{Czech_Hüllermeier_Jacobs_Wehrheim_2017, title={Predicting rankings of software verification tools}, booktitle={in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany}, author={Czech, M. and Hüllermeier, Eyke and Jacobs, M.C. and Wehrheim, Heike}, year={2017} }","ieee":"M. Czech, E. Hüllermeier, M. C. Jacobs, and H. Wehrheim, “Predicting rankings of software verification tools,” in <i>in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany</i>, 2017.","ama":"Czech M, Hüllermeier E, Jacobs MC, Wehrheim H. Predicting rankings of software verification tools. In: <i>In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany</i>. ; 2017.","short":"M. Czech, E. Hüllermeier, M.C. Jacobs, H. Wehrheim, in: In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany, 2017.","apa":"Czech, M., Hüllermeier, E., Jacobs, M. C., &#38; Wehrheim, H. (2017). Predicting rankings of software verification tools. In <i>in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany</i>.","mla":"Czech, M., et al. “Predicting Rankings of Software Verification Tools.” <i>In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany</i>, 2017.","chicago":"Czech, M., Eyke Hüllermeier, M.C. Jacobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In <i>In Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany</i>, 2017."},"department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"date_created":"2019-12-19T15:59:42Z","_id":"15399","status":"public","year":"2017","author":[{"first_name":"M.","full_name":"Czech, M.","last_name":"Czech"},{"id":"48129","first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke"},{"first_name":"M.C.","full_name":"Jacobs, M.C.","last_name":"Jacobs"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"user_id":"49109","title":"Predicting rankings of software verification tools","publication":"in Proceedings ESEC/FSE Workshops 2017 - 3rd ACM SIGSOFT, International Workshop on Software Analytics (SWAN 2017), Paderborn Germany","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:22Z"}