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
Default Reasoning Applied to the Specification and Designof Computer Software
- Ryan, Mark (Principal Investigator)