HES2011 - James Oakley and Sergey bratus-Exploiting-the-Hard-Working-DWARF
1 Formal Methods Quick Tutorial Ricky W. Butler Oct 22, 2003 .