Store Locally, Prove Globally
Book chapter (November 2023)
The most recent citing publications are shown below. View all 140 publications that cite this research output on Dimensions.
Book chapter (November 2023)
Book chapter (April 2023)
Article in Journal of Computer and Systems Sciences International (December 2022)