Jump to navigation
Markus attends a meeting of the IFIP WG 1.3 and gives a presentation on CSP-Prover.