Verifiable properties of database transactions
scientific article; zbMATH DE number 1267925
scientific article