A survey of verification techniques for parallel programs
By: Howard Barringer.
Series: Lecture notes in computer science ;; 191
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 114
Subjects: Parallel processing (Electronic computers); Computer programs -- Verification.
Notes: Includes bibliographies.