Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman. Efficient Symbolic Simulation of Low Level Software. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 825-830, 2008. [doi]
Abstract is missing.