Community Research and Development Information Service - CORDIS

Towards industrial strength formal verification : the design engineer s assistant

From 1996-09-10 to 1997-02-09

Project details

Total cost:

EUR 35 775

EU contribution:

EUR 35 775

Coordinated in:

United Kingdom

Funding scheme:

EAW - Exploratory awards


Man-Made Minions Ltd
United Kingdom
Hills Road 112
CB2 1PH Cambridge
United Kingdom
See on map
Administrative contact: Aaron TURNER
Tel.: +44-1932844623
Fax: +44-1932844623
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top