@misc{indiciae394d71787944,
  title = {Predictive Software Measures based on Z Specifications - A Case Study},
  author = {Andreas Bollin and Abdollah Tabareh},
  year = {2012},
  doi = {10.4204/eptcs.86.5},
  url = {https://arxiv.org/abs/1207.2237},
  note = {Source identifier: 1207.2237}
}