Efficient Symbolic Simulation of Low Level Software.

Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman

Browse the full DATE paper archive.