Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

Provably Correct Systems

Dal 1989-05-01 al 1992-02-29

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

Denmark

Obiettivo

Coordinatore

DANMARKS TEKNISKE HOJSKOLE
Denmark
BYGNING 344 & 345
2800 LYNGBY
Denmark
Contatto amministrativo: Dines BJORNER
Tel.: +45-45933332
Fax: +45-45884530
E-mail

Partecipanti

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Contatto amministrativo: Flemming NIELSON
Tel.: +45-89423363
Fax: +45-81635725
E-mail
CHRISTIAN-ALBRECHTS UNIVERSITÄT KIEL
Germany
OLSHAUSENSTRAßE 40
24118 KIEL
Germany
See on map
Contatto amministrativo: Hans LANGMAACK
Tel.: +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
Contatto amministrativo: 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
Contatto amministrativo: Howard BARRINGER
Tel.: +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
Contatto amministrativo: Charles HOARE
Tel.: +44-865-273841
Fax: +44-865 273839
E-mail