iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/icdt/Vianu09.xml
Victor Vianu Automatic verification of database-driven systems: a new frontier. 1-13 2009 ICDT https://doi.org/10.1145/1514894.1514896 conf/icdt/2009 db/conf/icdt/icdt2009.html#Vianu09