Browsing "PSNZ Collections" by Subject Parallel programs (Computer programs) --Verification.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1985 | A survey of verification techniques for parallel programs | Barringer, Howard |