Streamlining Temporal Formal Verification over Columnar Databases
Article in Information (January 2024)
The most recent citing publications are shown below. View all 87 publications that cite this research output on Dimensions.
Article in Information (January 2024)
Book chapter (November 2023)
Preprint in arXiv (September 2023)