@Inproceedings{EPTCS86.5,
  author    = {Bollin, Andreas and Tabareh, Abdollah},
  year      = {2012},
  title     = {Predictive Software Measures based on Z Specifications - A Case Study},
  editor    = {Andr\'es, C\'esar and Llana, Luis },
  booktitle = {{\rm Proceedings 2nd Workshop on}
               Formal Methods in the Development of Software ,
               {\rm Paris, France, August 28, 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {86},
  publisher = {Open Publishing Association},
  pages     = {33-40},
  doi       = {10.4204/EPTCS.86.5},
}