Navi_UMassBoston_Logo_Lockup_CMYK

First Page		Document Content
Date: 2014-05-13 02:26:33 Dartmouth Massachusetts University of Massachusetts Massachusetts Higher education Education Perth Institute of Business and Technology Jean F. McCormack New England Association of Schools and Colleges Association of Public and Land-Grant Universities American Association of State Colleges and Universities		Navi_UMassBoston_Logo_Lockup_CMYK Add to Reading List Source URL: www.umd.navitas.com Download Document from Source Website File Size: 2,33 MB Share Document on Facebook

	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUmF - View Document
	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xUlu - View Document
	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUff - View Document
	Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat DocID: 1xU7X - View Document
	CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xTmX - View Document