A survey of verification techniques for parallel programs.
Series: Lecture notes in computer science -- 191
Publisher: Springer
Published: 1985
Place of publication: Berlin
Language: eng
Number of pages: 115