Public

Model Checking Machine Code with the GNU Debugger

Published in Lecture notes in computer science • Jan 1, 2005

NobleIDark:/48914/w1/20260525/95661A0FRecord on NobleID

Authors:

Eric Mercer

,

Michael Jones

Subject

Programming language

Computer science

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!