Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Activities
Datasets
Equipment
Prizes
Press / Media
Search by expertise, name or affiliation
Default Reasoning Applied to the Specification and Designof Computer Software
Ryan, Mark
(Principal Investigator)
Computer Science
Overview
Project Details
Short title
Default Reasoning Applied to the Specification and Designof Computer Software
Status
Finished
Effective start/end date
1/01/96
→
30/11/98
Funding
The Nuffield Foundation
View all
View less
