Paddy H. Byers

Publication Activity (10 Years)

Years Active: 1988-1988
Publications (10 Years): 0

Publications

Stephen A. Schuman, David H. Pitt, Paddy H. Byers
Object-Oriented Process Specification. Specification and Verification of Concurrent Systems (1988)