Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham. On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design, 19(1):35-44, 2001.
@article{Abarbanel-VinovABEGHRRSWY01,
title = {On the Effective Deployment of Functional Formal Verification},
author = {Yael Abarbanel-Vinov and Neta Aizenbud-Reshef and Ilan Beer and Cindy Eisner and Daniel Geist and Tamir Heyman and Iris Reuveni and Eran Rippel and Irit Shitsevalov and Yaron Wolfsthal and Tali Yatzkar-Haham},
year = {2001},
tags = {deployment},
researchr = {https://researchr.org/publication/Abarbanel-VinovABEGHRRSWY01},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {19},
number = {1},
pages = {35-44},
}