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

Provably Correct Systems

Dal 1992-07-01 al 1995-07-23

Dettagli del progetto

Costo totale:

Non disponibile

Contributo UE:

Non disponibile

Coordinato in:

United Kingdom

Obiettivo

Informazioni correlate

Sintesi delle relazioni

Coordinatore

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

Partecipanti

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
DANMARKS TEKNISKE HOJSKOLE
Denmark
LUNDTOFTEVEJ, 100
2800 LYNGBY
Denmark
See on map
Contatto amministrativo: Anders Peter RAVN
Tel.: +45-45933332
Fax: +45-42884530
E-mail
UNIVERSITÄT OLDENBURG
Germany
AMMERLAENDER HEERSTRAßE 114-118
26129 OLDENBURG
Germany
See on map
Contatto amministrativo: Ernst-Ruediger OLDEROG
Tel.: +49-441-7982439
Fax: +49-441-7982155