Navi_UMassBoston_Logo_Lockup_CMYK

First Page		Document Content
Date: 2014-04-02 00:14:07 University of Massachusetts Lowell New England University of Massachusetts American Association of State Colleges and Universities Lowell Massachusetts Lowell State College Lowell Technological Institute Lowell Regional Transit Authority University Without Walls- UMass Amherst New England Association of Schools and Colleges Massachusetts Association of Public and Land-Grant Universities		Navi_UMassBoston_Logo_Lockup_CMYK Add to Reading List Source URL: www.uml.navitas.com Download Document from Source Website File Size: 2,78 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