@misc{https://doi.org/10.4121/14905251.v1,
  doi = {10.4121/14905251.v1},
  url = {https://data.4tu.nl/articles/dataset/Data_accompanied_to_the_paper_Modular_Transformation_of_Java_Exceptions_Modulo_Errors/14905251/1},
  author = {Rubbens, Robert and Huisman, Marieke and Lathouwers, Sophie},
  keywords = {deductive verification, java, vercors, exceptions, finally, errors},
  title = {Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors},
  publisher = {4TU.ResearchData},
  year = {2021},
  copyright = {CC BY-SA 4.0},
}