Back to search

Clemson University

A Web-Integrated Environment for Component-Based Software Reasoning

dc:creator Cook, Charles

thesis:degree_name Master of Science (MS)

Degree

thesis:*

Name thesis:degree_name: Master of Science (MS)
Level thesis:degree_level: Thesis

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Cook, Charles
Contributors dc:contributor: Sitaraman, Murali
Hallstrom , Jason
Malloy , Brian

Subjects

dc:subject × 7

Identifiers

dc:identifier.*

Repository record dc:identifier: https://open.clemson.edu/all_theses/1230
OAI identifier oai:identifier: oai:open.clemson.edu:all_theses-2230

Chain of custody

source

Harvested from: Clemson University
Base URL: open.clemson.edu/do/oai/
Last updated: 2026-07-27
Source record: OAI-PMH GetRecord

related terms

citation

Cook, Charles. A Web-Integrated Environment for Component-Based Software Reasoning. Thesis thesis, https://open.clemson.edu/all_theses/1230

More from Clemson University