Axiomatic Proof Techniques for Parallel Programs

GPTKB entity