Publication | Closed Access
Proving assertions about parallel programs
143
Citations
7
References
1975
Year
Program CheckingEngineeringProgram AnalysisParallel Complexity TheoryVerificationParallel ProgramsFormal MethodsSoftware AnalysisParallel ProgrammingComputer ScienceParallel Programming ModelParallel ComputingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1