The integration of two industrially relevant formal methods (VDM+B).

Project: Research

Project Details

StatusFinished
Effective start/end date24/08/1998 → 23/08/2000

Funding

  • EPSRC Engineering and Physical Sciences Research Council: £115,438.00