Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, CoRR abs/1905.08505 (2019).
Download
No fulltext has been uploaded.
Journal Article
| English
Author
Beyer, Dirk;
Wehrheim, HeikeLibreCat
Publishing Year
Journal Title
CoRR
Volume
abs/1905.08505
LibreCat-ID
Cite this
Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR. 2019;abs/1905.08505.
Beyer, D., & Wehrheim, H. (2019). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR, abs/1905.08505.
@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} }
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR abs/1905.08505 (2019).
D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” CoRR, vol. abs/1905.08505, 2019.
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” CoRR, vol. abs/1905.08505, 2019.
Google Scholar