{"volume":"abs/1905.08505","department":[{"_id":"34"}],"citation":{"mla":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” <i>CoRR</i>, vol. abs/1905.08505, 2019.","apa":"Beyer, D., &#38; Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. <i>CoRR</i>, <i>abs/1905.08505</i>.","ieee":"D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” <i>CoRR</i>, vol. abs/1905.08505, 2019.","short":"D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).","bibtex":"@article{Beyer_Wehrheim_2019, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={abs/1905.08505}, journal={CoRR}, author={Beyer, Dirk and Wehrheim, Heike}, year={2019} }","ama":"Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. <i>CoRR</i>. 2019;abs/1905.08505.","chicago":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” <i>CoRR</i> abs/1905.08505 (2019)."},"user_id":"29719","type":"journal_article","publication":"CoRR","title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework","date_created":"2019-06-03T08:17:07Z","author":[{"first_name":"Dirk","last_name":"Beyer","full_name":"Beyer, Dirk"},{"first_name":"Heike","id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"status":"public","date_updated":"2022-01-06T06:50:29Z","_id":"10096","language":[{"iso":"eng"}],"year":"2019"}