@inproceedings{streamliningtemporalformalverification,
  title = {Streamlining Temporal Formal Verification over Columnar Databases},
  author = {Giacomo Bergami},
  year = {2024},
  booktitle = {Information 2024 1},
  url = {https://www.mdpi.com/2078-2489/15/1/34},
}