On the Effective Deployment of Functional Formal...

Formal Methods in System Design 2001 / 07 Vol. 19; Iss. 1

On the Effective Deployment of Functional Formal Verification

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
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
19
Language:
english
Pages:
10
DOI:
10.1023/a:1011219209077
Date:
July, 2001
File:
PDF, 70 KB
english, 2001
Conversion to is in progress
Conversion to is failed