HIST 246: The American Civil War Era Drs. Caleb McDaniel and Fay Yarbrough Fall 2013 Class: MWF, 11-11:50am, Humanities 119 Professors: Dr. Caleb McDaniel and Dr. Fay Yarbrough

First Page		Document Content
Date: 2016-03-22 12:00:31 History of the United States 19th century in the United States American Civil War Computing Resource Description Framework School of Computer Science University of Manchester Semantic Web Web Ontology Language Confederates in the Attic Reconstruction Era Union Owl City		HIST 246: The American Civil War Era Drs. Caleb McDaniel and Fay Yarbrough Fall 2013 Class: MWF, 11-11:50am, Humanities 119 Professors: Dr. Caleb McDaniel and Dr. Fay Yarbrough Add to Reading List Source URL: wcm1.web.rice.edu Download Document from Source Website File Size: 180,98 KB Share Document on Facebook

	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 DocID: 1xW3e - View Document
	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi DocID: 1xVZ6 - View Document
	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based DocID: 1xVvH - View Document
	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK DocID: 1xVvf - View Document
	Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016 DocID: 1xVfi - View Document