DMCA

Toward a Verified Relational Database Management System (2010)

by Gregory Malecha , Greg Morrisett , Avraham Shinnar , Ryan Wisnesky
Citations:27 - 3 self