Publication | Closed Access
Fixing, preventing, and recovering from concurrency bugs
49
Citations
78
References
2015
Year
Software MaintenanceEngineeringProgram AnalysisSoftware TestingFormal MethodsSoftware AnalysisParallel ProgrammingComputer ScienceConcurrency ControlConcurrent Data StructureConcurrent SystemFormal VerificationSystem SoftwareConcurrency Bugs
| Year | Citations | |
|---|---|---|
Page 1
Page 1