Huang Path-Oriented Program Analysis Huang - 1 - Cambridge 2008 - 196 ISBN: 9780521882866 Subjects--Topical Terms: Maths Dewey Class. No.: 005.72 / HUA