Home › Authors › Davies, Jim. 👤 Davies, Jim. 2 books Books by Davies, Jim. The anti-style The anti-style 1994 Specification and proof in real-time CSP 1993
