DeterV: Verifying Deterministic Parallel Execution [pdf]

1 points | by matt_d 33 minutes ago

No comments yet