Extracting behaviour from an executable instruction set model.

Brian Campbell, Ian Stark

Browse the full FMCAD paper archive.