The Deductive Synthesis of Database Transactions (1993)

Cached

Download Links

by Xiaolei Qian
Venue:ACM Transactions on Database Systems
Citations:21 - 3 self