Search Results - "Parallel programs (Computer programs) Verification." :: MALRep

Search alternatives:

computer programs »
- computer programming (Expand Search)
verification »
- purification (Expand Search)
- modification (Expand Search)

1

A survey of verification techniques for parallel programs by Barringer, Howard

Published 2012
Subjects: “…Parallel programs (Computer programs) --Verification.…”

Get full text

Book

Save to List

Saved in: