Amanote Research
Register
Sign In
Toward a Verified Relational Database Management System
doi 10.1145/1706299.1706329
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2010
Authors
Gregory Malecha
Greg Morrisett
Avraham Shinnar
Ryan Wisnesky
Publisher
ACM Press