Report copyright - Verifying Properties of Parallel Programs: An Axiomatic Approach Susan Owicki and David Gries Communications of the ACM, 1976 Presented by Almog Benin
Please pass captcha verification before submit form
Please pass captcha verification before submit form