STALlion : A simple typed assembly language for static analysis

Nordio, Martín

STALlion : A simple typed assembly language for static analysis

DIF-M4121