@misc{https://doi.org/10.4121/21763274.v1,
  doi = {10.4121/21763274.v1},
  url = {https://data.4tu.nl/articles/software/_/21763274},
  author = {Rubbens, Robert and Safina, Larisa and Huisman, Marieke and Bliudze, Simon and van den Bos, Petra},
  keywords = {JavaBIP, VerCors, runtime verification, deductive verification, formal methods, concurrent systems},
  title = {Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java},
  publisher = {4TU.ResearchData},
  year = {2024},
  copyright = {CC0},
}