Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Towards industrial strength formal verification : the design engineer s assistant

De 1996-09-10 à 1997-02-09

Détails concernant le projet

Coût total:

EUR 35 775

Contribution de l'UE:

EUR 35 775

Coordonné à/au(x)/en:

United Kingdom

Régime de financement:

EAW - Exploratory awards

Coordinateur

Man-Made Minions Ltd
United Kingdom
Hills Road 112
CB2 1PH Cambridge
United Kingdom
See on map
Contact administratif: Aaron TURNER
Tél.: +44-1932844623
Fax: +44-1932844623