Verifiable Properties of Database Transactions.

Michael Benedikt, Timothy Griffin, Leonid Libkin

Browse the full PODS paper archive.