Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Provably Correct Systems

Von 1989-05-01 bis 1992-02-29

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

Denmark

Ziel

Koordinator

DANMARKS TEKNISKE HOJSKOLE
Denmark
BYGNING 344 & 345
2800 LYNGBY
Denmark
Administrative Kontaktangaben: Dines BJORNER
Tel.: +45-45933332
Fax: +45-45884530
E-Mail-Adresse

Teilnehmer

AARHUS UNIVERSITET
Denmark
NORDRE RINGGADE, 1
8000 AARHUS
Denmark
See on map
Administrative Kontaktangaben: Flemming NIELSON
Tel.: +45-89423363
Fax: +45-81635725
E-Mail-Adresse
CHRISTIAN-ALBRECHTS UNIVERSITÄT KIEL
Germany
OLSHAUSENSTRAßE 40
24118 KIEL
Germany
See on map
Administrative Kontaktangaben: Hans LANGMAACK
Tel.: +49-431-56042827
Fax: +49-431-566143
E-Mail-Adresse
Royal Holloway and Bedford New College
United Kingdom
Egham Hill
TW20 0EX Egham
United Kingdom
See on map
Administrative Kontaktangaben: 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
Administrative Kontaktangaben: Howard BARRINGER
Tel.: +44-61-2756154
Fax: +44-61-2756204
E-Mail-Adresse
University of Oxford
United Kingdom
11 Keble Road
OX1 3QD Oxford
United Kingdom
See on map
Administrative Kontaktangaben: Charles HOARE
Tel.: +44-865-273841
Fax: +44-865 273839
E-Mail-Adresse
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben