Publications

Practical application of CSP and FDR to software design

• • Jonathan Lawrence
• 2004
• Symposium on the Occasion of 25 Years of CSP 2004