Community Research and Development Information Service - CORDIS

Horizon 2020 project information and now also report summaries are available on CORDIS. All H2020 projects can be downloaded from the EU Open Data Portal .

My refinements

Download results of this page

Refine by:


Austria (1)
Denmark (1)
Finland (1)
France (1)
Germany (1)
Italy (1)
Netherlands (1)
Norway (1)
Sweden (1)
United Kingdom (2)

Advanced search

Search projects and results

1 result found
[PROJECT] PROCOS - Provably Correct Systems
ID: 8694
Start date: 1994-01-01, End date: 1996-12-31
PROCOS aims to aid the dissemination of results of the existing PROCOS II project. The long term objective of the Working Group is to contribute to radical improvement in standards of professional practice in the design and implementation of information technology products, in...
Programme: FP3-ESPRIT 3
Record Number: 22038
Last updated on: 1994-06-21
List retrieved on: 2018-04-25
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top