Community Research and Development Information Service - CORDIS

Provably Correct Systems

From 1992-07-01 to 1995-07-23

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

United Kingdom

Objective

Related information

Coordinator

University of Oxford
United Kingdom
11 Keble Road
OX1 3QD Oxford
United Kingdom
See on map
Administrative contact: Charles HOARE
Tel.: +44-865-273841
Fax: +44-865 273839
E-mail

Participants

CHRISTIAN-ALBRECHTS UNIVERSITÄT KIEL
Germany
OLSHAUSENSTRAßE 40
24118 KIEL
Germany
See on map
Administrative contact: Hans LANGMAACK
Tel.: +49-431-56042827
Fax: +49-431-566143
E-mail
DANMARKS TEKNISKE HOJSKOLE
Denmark
LUNDTOFTEVEJ, 100
2800 LYNGBY
Denmark
See on map
Administrative contact: 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
Administrative contact: Ernst-Ruediger OLDEROG
Tel.: +49-441-7982439
Fax: +49-441-7982155
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top