Publication | Closed Access
An axiomatic proof technique for parallel programs I
1K
Citations
13
References
1976
Year
EngineeringAutomated ReasoningProof ComplexityFormal MethodsAxiomatic Proof TechniqueAutomated ProofParallel ProgrammingComputer ScienceParallel ComputingProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1