Skip to main navigation Skip to search Skip to main content

Default Reasoning Applied to the Specification and Designof Computer Software

Project Details

Short titleDefault Reasoning Applied to the Specification and Designof Computer Software
StatusFinished
Effective start/end date1/01/96 → 30/11/98

Funding

  • The Nuffield Foundation