Verify 2003 Keynote Talk System Debugging and Verification: A New Challenge Verify 2003
Type: article
Authors: Daniel Gajski, Samar Abdi
Language: English
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7096873403
