Rudolf Berghammer;Birgit Elbl;Ulf Schmerl
-;-;-
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems