Francesco Longo, Dario Bruneo, et al.
IJHPCN
Conference paper
Formal Verification - Is it real enough?
Related
Conference paper
The titanic: What went wrong!
Sani R. Nassif
DAC 2005
Hongliang Chang, Vladimir Zolotov, et al.
DAC 2005
Christopher Ward, Shimon Agassi, et al.
IBM J. Res. Dev