A survey of verification techniques for parallel programs
Loading...
Date
1985
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Berlin ; New York : Springer-Verlag
Abstract
Description
Keywords
QA76.5 .B29627 1985, Parallel processing (Electronic computers), Parallel programs (Computer programs) --Verification.