A ProCos Project Description: Esprit BRA 3104

Dines Bjoerner; Charles Hoare; Jonathan Bowen; He JiFeng; Hans Langmaack; Ernst-Rudiger Olderog; Ursula Martin; Victoria Stavridou; Flemming Nielson; Howard Barringer; Douglas Edwards; Hans Lovengreen; A Ravn; H Rischel

A ProCos Project Description: Esprit BRA 3104

Dines Bjoerner, Charles Hoare, Jonathan Bowen, He JiFeng, Hans Langmaack, Ernst-Rudiger Olderog, Ursula Martin, Victoria Stavridou, Flemming Nielson, Howard Barringer, Douglas Edwards, Hans Lovengreen, A Ravn, H Rischel

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	60-73
Number of pages	14
Journal	Bulletin of the European Association of Theoretical Computer Science
Issue number	39
Publication status	Published - 1989

Cite this

@article{ddeaaf96681d4651add5260bd8373f33,

title = "A ProCos Project Description: Esprit BRA 3104",

author = "Dines Bjoerner and Charles Hoare and Jonathan Bowen and He JiFeng and Hans Langmaack and Ernst-Rudiger Olderog and Ursula Martin and Victoria Stavridou and Flemming Nielson and Howard Barringer and Douglas Edwards and Hans Lovengreen and A Ravn and H Rischel",

year = "1989",

language = "English",

pages = "60--73",

journal = "Bulletin of the European Association of Theoretical Computer Science",

publisher = "European Association for Theoretical Computer Science",

number = "39",

}

TY - JOUR

T1 - A ProCos Project Description: Esprit BRA 3104

AU - Bjoerner, Dines

AU - Hoare, Charles

AU - Bowen, Jonathan

AU - JiFeng, He

AU - Langmaack, Hans

AU - Olderog, Ernst-Rudiger

AU - Martin, Ursula

AU - Stavridou, Victoria

AU - Nielson, Flemming

AU - Barringer, Howard

AU - Edwards, Douglas

AU - Lovengreen, Hans

AU - Ravn, A

AU - Rischel, H

PY - 1989

Y1 - 1989

M3 - Article

SP - 60

EP - 73

JO - Bulletin of the European Association of Theoretical Computer Science

JF - Bulletin of the European Association of Theoretical Computer Science

IS - 39

ER -