A ProCoS II Project Final Report: ESPRIT Basic Research
                project 707

J. P. Bowen; C. A. R. Hoare; Hans Langmaack; Ernst-Ruediger Olderog; Anders P. Ravn

A ProCoS II Project Final Report: ESPRIT Basic Research project 707

J. P. Bowen, C. A. R. Hoare, Hans Langmaack, Ernst-Ruediger Olderog, Anders P. Ravn

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

An overview of the research and associated activities of the Europeancollaborative ESPRIT Basic Research ProCoS II project (no. 7071) on``Provably Correct Systems'' which ran from 1992 to 1995 is presented.This was a follow-on project to ProCoS (no. 3104) and ran inparallel with the ProCoS Working Group (no. 8694), all previouslyannounced in the Bulletin of the EATCS. Acomprehensive bibliography of publications with selected projectdocuments is included for those wishing to study the results of theproject in greater depth.

Original language	English
Journal	Bulletin of the European Association for TheoreticalComputer Science (EATCS)
Volume	59
Pages (from-to)	76-99
Publication status	Published - 1996

OpenUrl availability

Full text

Cite this

@article{b59ec9cfe6694515b81dc2059e050b07,

title = "A ProCoS II Project Final Report: ESPRIT Basic Research project 707",

abstract = "An overview of the research and associated activities of the Europeancollaborative ESPRIT Basic Research ProCoS II project (no. 7071) on``Provably Correct Systems'' which ran from 1992 to 1995 is presented.This was a follow-on project to ProCoS (no. 3104) and ran inparallel with the ProCoS Working Group (no. 8694), all previouslyannounced in the Bulletin of the EATCS. Acomprehensive bibliography of publications with selected projectdocuments is included for those wishing to study the results of theproject in greater depth.",

author = "Bowen, {J. P.} and Hoare, {C. A. R.} and Hans Langmaack and Ernst-Ruediger Olderog and Ravn, {Anders P.}",

year = "1996",

language = "English",

volume = "59",

pages = "76--99",

journal = "Bulletin of the European Association for TheoreticalComputer Science (EATCS)",

}

TY - JOUR

T1 - A ProCoS II Project Final Report: ESPRIT Basic Research project 707

AU - Bowen, J. P.

AU - Hoare, C. A. R.

AU - Langmaack, Hans

AU - Olderog, Ernst-Ruediger

AU - Ravn, Anders P.

PY - 1996

Y1 - 1996

N2 - An overview of the research and associated activities of the Europeancollaborative ESPRIT Basic Research ProCoS II project (no. 7071) on``Provably Correct Systems'' which ran from 1992 to 1995 is presented.This was a follow-on project to ProCoS (no. 3104) and ran inparallel with the ProCoS Working Group (no. 8694), all previouslyannounced in the Bulletin of the EATCS. Acomprehensive bibliography of publications with selected projectdocuments is included for those wishing to study the results of theproject in greater depth.

AB - An overview of the research and associated activities of the Europeancollaborative ESPRIT Basic Research ProCoS II project (no. 7071) on``Provably Correct Systems'' which ran from 1992 to 1995 is presented.This was a follow-on project to ProCoS (no. 3104) and ran inparallel with the ProCoS Working Group (no. 8694), all previouslyannounced in the Bulletin of the EATCS. Acomprehensive bibliography of publications with selected projectdocuments is included for those wishing to study the results of theproject in greater depth.

M3 - Journal article

VL - 59

SP - 76

EP - 99

JO - Bulletin of the European Association for TheoreticalComputer Science (EATCS)

JF - Bulletin of the European Association for TheoreticalComputer Science (EATCS)

ER -