The Current Trends in Verification Technology

od Where Today Meets Tomorrow