[{"publisher":"ACM","user_id":"29719","conference":{"name":"40th International Conference on Software Engineering","start_date":"2018-05-27","end_date":"2018-06-03","location":"Gothenburg, Sweden"},"_id":"1096","citation":{"ieee":"D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction of Conditional Verifiers,” in <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, Gothenburg, Sweden, 2018, pp. 1182--1193.","short":"D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.","mla":"Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, ACM, 2018, pp. 1182--1193.","ama":"Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>. ACM; 2018:1182--1193.","chicago":"Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, 1182--1193. ACM, 2018.","bibtex":"@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018}, pages={1182--1193} }","apa":"Beyer, D., Jakobs, M.-C., Lemberger, T., &#38; Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i> (pp. 1182--1193). Gothenburg, Sweden: ACM."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"Kooperative Softwareverifikation","_id":"85"}],"accept":"1","year":"2018","language":[{"iso":"eng"}],"status":"public","date_updated":"2019-11-25T09:11:07Z","date_created":"2018-01-08T10:52:51Z","file_date_updated":"2018-11-21T10:50:51Z","abstract":[{"text":"to appear","lang":"eng"}],"department":[{"_id":"77"}],"type":"conference","title":"Reducer-Based Construction of Conditional Verifiers","file":[{"content_type":"application/pdf","file_size":826719,"access_level":"closed","date_updated":"2018-11-21T10:50:51Z","creator":"florida","success":1,"file_name":"Reducer-Based Construction of Conditional Verifiers.pdf","open_access":1,"date_created":"2018-11-21T10:50:51Z","relation":"main_file","file_id":"5783"}],"ddc":["000"],"publication":"Proceedings of the 40th International Conference on Software Engineering (ICSE)","author":[{"full_name":"Beyer, Dirk","last_name":"Beyer","first_name":"Dirk"},{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"full_name":"Lemberger, Thomas","first_name":"Thomas","last_name":"Lemberger"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"page":"1182--1193"}]