Rosalind L. Ibrahim

Publication Activity (10 Years)

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

Publications

Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams
Should Concurrency be Specified? Specification and Verification of Concurrent Systems (1988)