Viktor Zakharov

• Tools and Methods for Program Analysis