The Current Trends in Verification Technology

by Where Today Meets Tomorrow