Verified abstract interpretation techniques for disassembling low-level self-modifying code

From MaRDI portal
Publication:287369