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