Automatic Verification of Database Transaction Safety

Tim Sheard, David W. Stemple. Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst., 14(3):322-368, 1989. [doi]

Abstract

Abstract is missing.