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

Research output: Contribution to journalArticlepeer-review

Cite this