FAMILYTies University of Massachusetts

First Page		Document Content
Date: 2014-01-16 11:19:09 Association of Public and Land-Grant Universities American Association of State Colleges and Universities Education in the United States Earl Lorden Field Warren McGuirk Alumni Stadium University of Massachusetts Lowell WMUA William D. Mullins Memorial Center University of Massachusetts New England Association of Schools and Colleges Massachusetts University of Massachusetts Amherst		FAMILYTies University of Massachusetts Add to Reading List Source URL: www.umass.edu Download Document from Source Website File Size: 4,52 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