F/ship - verification of concurrent systems

Project Details

StatusFinished
Effective start/end date1/10/9730/09/02

Funding

  • EPSRC: £150,573.00