On the architecture of system verification environments (0)

by Mark A Hillebrand, Wolfgang Paul
Venue:Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007