Model Checking Database Applications.

Milos Gligoric, Rupak Majumdar

Browse the full TACAS paper archive.