DMCA

Model checking machine code with the GNU debugger (2005)

Cached

Download Links

by Eric Mercer , Michael Jones
Venue:In 12th International SPIN Workshop
Citations:18 - 6 self