Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Provably Correct Systems

Desde 1989-05-01 hasta 1992-02-29

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

Denmark

Objetivo

Coordinador

DANMARKS TEKNISKE HOJSKOLE
Denmark
BYGNING 344 & 345
2800 LYNGBY
Denmark
Contacto administrativo: Dines BJORNER
Tel.: +45-45933332
Fax: +45-45884530
Correo electrónico

Participantes

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contacto administrativo: Flemming NIELSON
Tel.: +45-89423363
Fax: +45-81635725
Correo electrónico
CHRISTIAN-ALBRECHTS UNIVERSITÄT KIEL
Germany
OLSHAUSENSTRAßE 40
24118 KIEL
Germany
See on map
Contacto administrativo: Hans LANGMAACK
Tel.: +49-431-56042827
Fax: +49-431-566143
Correo electrónico
Royal Holloway and Bedford New College
United Kingdom
Egham Hill
TW20 0EX Egham
United Kingdom
See on map
Contacto administrativo: Ursula MARTIN
Tel.: +44-784-39923
Fax: +44-784-37520
University of Manchester
United Kingdom
Oxford Road
M13 9PL Manchester
United Kingdom
See on map
Contacto administrativo: Howard BARRINGER
Tel.: +44-61-2756154
Fax: +44-61-2756204
Correo electrónico
University of Oxford
United Kingdom
11 Keble Road
OX1 3QD Oxford
United Kingdom
See on map
Contacto administrativo: Charles HOARE
Tel.: +44-865-273841
Fax: +44-865 273839
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba