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/popl/MalechaMSW10.rdf
J. Gregory Malecha et al.: Toward a verified relational database management system. (2010) conf/popl/MalechaMSW10 10.1145/1706299.1706329 10.1145/1707801.1706329 Toward a verified relational database management system. 4 J. Gregory Malecha 1 Greg Morrisett 2 Avraham Shinnar 3 Ryan Wisnesky 4 237-248 POPL POPL 2010 2010 provenance information for RDF data of dblp record 'conf/popl/MalechaMSW10' 2022-10-02T16:13:46+0200