Community Research and Development Information Service - CORDIS

Semantics-Based Program Manipulation Techniques

From 1989-05-01 to 1992-04-30

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

United Kingdom

Objective

Coordinator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Administrative contact: Chris HANKIN
Tel.: +44-71-5895111
Fax: +44-71-5818024
E-mail

Participants

ECOLE POLYTECHNIQUE
France
ROUTE DE SACLAY
PALAISEAU
France
See on map
Administrative contact: Patrick COUSOT
Tel.: +33-1-44322064
Fax: +33-1-44322152
E-mail
KOBENHAVNS UNIVERSITET
Denmark
NJALSGADE, 94
2300 COPENHAGEN
Denmark
See on map
Administrative contact: Neil JONES
Tel.: +45-35321818
Fax: +45-35321401
E-mail
UNIVERSITY OF GLASGOW
United Kingdom
University Avenue
GLASGOW
United Kingdom
See on map
Administrative contact: John HUGHES
Tel.: +44-41-3304454
Fax: +44-
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top