Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Semantics-based Program Manipulation Techniques

Von 1992-07-24 bis 1995-07-23

Projektdetails

Gesamtkosten:

Nicht verfügbar

EU-Beitrag:

Nicht verfügbar

Koordiniert in:

United Kingdom

Ziel

Koordinator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Administrative Kontaktangaben: Chris HANKIN
Tel.: +44-71-5895111
Fax: +44-71-5818024
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
CHALMERS UNIVERSITY OF TECHNOLOGY
Sweden
41296 GOETEBORG
Sweden
See on map
Administrative Kontaktangaben: John HUGHES
Tel.: +46-31-721035
Fax: +46-31-822029
Kobenhavns Universitet
Denmark
Njalsgade 94
2300 Copenhagen
Denmark
See on map
Administrative Kontaktangaben: Neil JONES
Tel.: +45-35321818
Fax: +45-35321401
E-Mail-Adresse
UNIVERSITY OF GLASGOW
United Kingdom
Oakfield Avenue, Rankine Building
G12 8LT GLASGOW
United Kingdom
Administrative Kontaktangaben: Philip WADLER
Tel.: +44-41-3304966
Fax: +44-413304913
E-Mail-Adresse
École Normale Supérieure de Paris
France
45 rue d'Ulm
75005 Paris
France
See on map
Administrative Kontaktangaben: Patrick COUSOT
Tel.: +33-1-44322064
Fax: +33-1-44322080
E-Mail-Adresse
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben