Vladimir Itsykson

Tools and Methods for Program Analysis