@misc{https://doi.org/10.4121/12988781.v1,
  doi = {10.4121/12988781.v1},
  url = {https://data.4tu.nl/articles/dataset/Card_sorting_data_for_Formal_methods_for_GPGPU_programming_is_the_demand_met_/12988781/1},
  author = {Haak, van den, Lars and Wijs, Anton and van den Brand, Mark and Huisman, Marieke},
  keywords = {Stack Overflow, Software Engineering, GPGPU, Formal Methods, Card Sorting, Bugs},
  title = {Card sorting data for Formal methods for GPGPU programming: is the demand met?},
  publisher = {4TU.ResearchData},
  year = {2020},
  copyright = {CC0},
}