Symbolic Execution for Advanced Program Reasoning - VIJAYARAGHAVAN MURALI (2014)
Ph.D