Reverse engineering from assembler to formal specifications via program transformations

De Montfort University Open Research Archive

Files in this item

This item appears in the following Collection(s)