Thomas F. J.-M. Pasquier, David M. Eyers, Margo Seltzer. From Here to Provtopia. In Vijay Gadepally, Timothy G. Mattson, Michael Stonebraker, Fusheng Wang 0001, Gang Luo, Yanhui Laing, Alevtina Dubovitskaya, editors, Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB 2019 Workshops, Poly and DMAH, Los Angeles, CA, USA, August 30, 2019, Revised Selected Papers. Volume 11721 of Lecture Notes in Computer Science, pages 54-67, Springer, 2019. [doi]
Abstract is missing.