Vladimir Itsykson

• Tools and Methods for Program Analysis