@misc{https://doi.org/10.4121/13611578.v1,
  doi = {10.4121/13611578.v1},
  url = {https://data.4tu.nl/articles/software/Permission-based_Verification_of_Red-Black_Trees_and_Their_Merging_-_Code/13611578/1},
  author = {Armborst, Lukas},
  keywords = {Deductive Verification, VerCors, red-black tree, producer-consumer pattern, Separation Logic, magic wand},
  title = {Permission-based Verification of Red-Black Trees and Their Merging - Code},
  publisher = {4TU.ResearchData},
  year = {2021},
  copyright = {CC0},
}