@misc{https://doi.org/10.4121/20347950.v1,
  doi = {10.4121/20347950.v1},
  url = {https://data.4tu.nl/articles/dataset/ProVerB_Dataset_of_Tools_and_Formats_for_Program_Verification/20347950/1},
  author = {Lathouwers, Sophie and Zaytsev, Vadim},
  keywords = {Program verification, specification format, Tools, Verification},
  title = {ProVerB: Dataset of Tools and Formats for Program Verification},
  publisher = {4TU.ResearchData},
  year = {2022},
  copyright = {CC BY 4.0},
}