Reverse Engineering from Assembler to Formal Specifications via Program Transformations (2000)

Cached

Download Links

by Martin Ward
Citations:13 - 7 self