Department of Computer Science and Statistics » TR06-317: Inductive Acquisition of Algebraic Specifications

URI A-Z | Directory | Request Info | Apply

Search

URI Homepage

Department of Computer Science and Statistics

President's Message Map and Directions Admission Faculty and Staff URI Info Bank Campus Master Plan

Kingston Campus Feinstein Providence Campus Narragansett Bay Campus W. Alton Jones Campus

Colleges, Schools, Majors, and Departments Course Schedules and Catalog Graduate School Summer Program Academic Calendars and Exam Schedules Enrollment Services

Division of Research and Economic Development Outreach Programs Graduate School University Libraries Marine and Environmental Programs

Team Sports at GoRhody.com Recreation Ryan Center

Events Calendar News Releases The Good 5¢ Cigar inAdvance@URI QUADangles

TR06-317: Inductive Acquisition of Algebraic Specifications

Filed under: Technical Reports

Posted: March 22, 2009

Inductive Acquisition of Algebraic Specifications, December 2006, L. Hamel, C. Shen.