A survey of verification techniques for parallel programs /

Bibliographic Details
Other Authors:	Barringer, Howard, 1951-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1985]
Series:	Lecture notes in computer science ; 191.
Subjects:	Parallel processing (Electronic computers) Computer programs > Verification.

Remote Storage