A consistent and complete deductive system for the verification of parallel programs

Open Access

Publisher Website

1 January 1976

conference paper
Published by Association for Computing Machinery (ACM)

p. 73-86
https://doi.org/10.1145/800113.803634

Abstract

No abstract available

Cited by 16 articles