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

Provably Correct Systems

De 1989-05-01 à 1992-02-29

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Denmark

Objectif

Coordinateur

DANMARKS TEKNISKE HOJSKOLE
Denmark
BYGNING 344 & 345
2800 LYNGBY
Denmark
Contact administratif: Dines BJORNER
Tél.: +45-45933332
Fax: +45-45884530
E-mail

Participants

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contact administratif: Flemming NIELSON
Tél.: +45-89423363
Fax: +45-81635725
E-mail
CHRISTIAN-ALBRECHTS UNIVERSITÄT KIEL
Germany
OLSHAUSENSTRAßE 40
24118 KIEL
Germany
See on map
Contact administratif: Hans LANGMAACK
Tél.: +49-431-56042827
Fax: +49-431-566143
E-mail
Royal Holloway and Bedford New College
United Kingdom
Egham Hill
TW20 0EX Egham
United Kingdom
See on map
Contact administratif: Ursula MARTIN
Tél.: +44-784-39923
Fax: +44-784-37520
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Contact administratif: Howard BARRINGER
Tél.: +44-61-2756154
Fax: +44-61-2756204
E-mail
University of Oxford
United Kingdom
11 Keble Road
OX1 3QD Oxford
United Kingdom
See on map
Contact administratif: Charles HOARE
Tél.: +44-865-273841
Fax: +44-865 273839
E-mail