{"user_id":"29719","citation":{"apa":"Beyer, D., &#38; Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria &#38; B. Steffen (Eds.), <i>Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}</i> (Vol. 12476, pp. 143–167). Springer. <a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">https://doi.org/10.1007/978-3-030-61362-4\\_8</a>","mla":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” <i>Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}</i>, edited by Tiziana Margaria and Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:<a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">10.1007/978-3-030-61362-4\\_8</a>.","ama":"Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, eds. <i>Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}</i>. Vol 12476. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:<a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">10.1007/978-3-030-61362-4\\_8</a>","ieee":"D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” in <i>Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}</i>, 2020, vol. 12476, pp. 143–167.","chicago":"Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” In <i>Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}</i>, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">https://doi.org/10.1007/978-3-030-61362-4\\_8</a>.","short":"D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.","bibtex":"@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={12476}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-61362-4\\_8\">10.1007/978-3-030-61362-4\\_8</a>}, booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria, Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture Notes in Computer Science} }"},"title":"Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework","_id":"20276","department":[{"_id":"77"}],"volume":12476,"author":[{"first_name":"Dirk","full_name":"Beyer, Dirk","last_name":"Beyer"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573","first_name":"Heike"}],"publisher":"Springer","status":"public","intvolume":"     12476","year":"2020","type":"conference","date_updated":"2022-01-06T06:54:25Z","publication":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"editor":[{"last_name":"Margaria","full_name":"Margaria, Tiziana","first_name":"Tiziana"},{"full_name":"Steffen, Bernhard","last_name":"Steffen","first_name":"Bernhard"}],"date_created":"2020-11-04T08:36:22Z","project":[{"_id":"85","name":"Kooperative Softwareverifikation"}],"page":"143-167","doi":"10.1007/978-3-030-61362-4\\_8"}