EATCS89.pdf(file size: 2.78 MB, MIME type: application/pdf)

A ProCoS Project Description: ESPRIT BRA 3104, Dines Bjørner, C.A.R. Hoare, Jonathan P. Bowen, He Jifeng, Hans Langmaack, Ernst-Rüdiger Olderog, Ursula Martin, Victoria Stavridou, Fleming Nielson, Hanne Riis Nielson, Howard Barringer, Doug Edwards, Hans Henrik Løvengreen, Anders Ravn and Hans Rischel. Bulletin of the European Association for Theoretical Computer Science (EATCS), 39, pages 60-73, October 1989.

See alsoEdit

File history

Click on a date/time to view the file as it appeared at that time.

current22:18, December 15, 2014 (2.78 MB)Jpbowen (Talk | contribs)

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.