Proceedings of the 1st Workshop on Verifiable Database Systems - 最新文献
Pub Date : 2023-06-23
DOI: 10.1145/3595647.3595649
Kunpeng Ren, Jefferson F.B. Van Buskirk, Zheng Yong Ang, Shizheng Hou, Nathaniel R. Cable, Miguel Monares, H. F. Korth, Dumitrel Loghin
Pub Date : 2023-06-23
DOI: 10.1145/3595647.3595648
Tal Derei, Benjamin Aulenbach, Victor Carolino, Caleb Geren, Michael Kaufman, Jonathan Klein, Rishad Islam Shanto, H. F. Korth
Pub Date : 2023-06-23
DOI: 10.1145/3595647.3595650
R. Ifrim, Dumitrel Loghin, D. Popescu
查看全部