@misc{indiciaef69dc40d6d1d,
  title = {Type Checking Program Code using SHACL (Extended Version)},
  author = {Martin Leinberger and Philipp Seifer and Claudia Schon and Ralf Lämmel and Steffen Staab},
  year = {2019},
  url = {https://arxiv.org/abs/1907.00855},
  note = {Source identifier: 1907.00855}
}