@misc{https://doi.org/10.4121/20318514.v1,
  doi = {10.4121/20318514.v1},
  url = {https://data.4tu.nl/articles/software/Software_accompanying_paper_Refinement_of_Parallel_Algorithms_down_to_LLVM/20318514/1},
  author = {Lammich, Peter},
  keywords = {Isabelle, Concurrent Separation Logic, Parallel Sorting, LLVM},
  title = {Software accompanying paper: Refinement of Parallel Algorithms down to LLVM},
  publisher = {4TU.ResearchData},
  year = {2022},
  copyright = {GPL-2.0},
}