A ProCoS Project Description: ESPRIT BRA 3104
Dines Bjørner‚ CAR Hoare‚ Jonathan P Bowen‚ He Jifeng‚ Hans Langmaack‚ Ernst−Rüdiger Olderog‚ UH Martin‚ Victoria Stavridou‚ Fleming Nielson‚ Hanne Riis Nielson and others
Journal
Bulletin of the European Association for Theoretical Computer Science (EATCS)
Pages
60–73
Volume
39
Year
1989