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)