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

Provably Correct Systems

Desde 1992-07-01 hasta 1995-07-23

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

United Kingdom

Objetivo

Información relacionada

Coordinador

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

Participantes

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
DANMARKS TEKNISKE HOJSKOLE
Denmark
LUNDTOFTEVEJ, 100
2800 LYNGBY
Denmark
See on map
Contacto administrativo: Anders Peter RAVN
Tel.: +45-45933332
Fax: +45-42884530
Correo electrónico
UNIVERSITÄT OLDENBURG
Germany
AMMERLAENDER HEERSTRAßE 114-118
26129 OLDENBURG
Germany
See on map
Contacto administrativo: Ernst-Ruediger OLDEROG
Tel.: +49-441-7982439
Fax: +49-441-7982155
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba