# content
Reading the Generalized Isolation Level Definitions paper with Alloy (via eatonphil) — discussion

#databases #formalmethods