×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [normal testing]
Home >
normal testing
Verifying Properties of Parallel Programs: An Axiomatic Approach Susan Owicki and David Gries Communications of the ACM, 1976 Presented by Almog Benin.
213 views
< Previous