Verification of Hardware and Software Models
VIDEO: THE ORIGINS OF THE AWARD
2021 LAUREATE: JACK DONGARRA
THE A.M. TURING AWARD LECTURES