Formal specification comprehension: the art of reading and writing z

Andreas Bollin, Dominik Rauner-Reithmayer. Formal specification comprehension: the art of reading and writing z. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 3-9, ACM, 2014. [doi]

@inproceedings{BollinR14,
  title = {Formal specification comprehension: the art of reading and writing z},
  author = {Andreas Bollin and Dominik Rauner-Reithmayer},
  year = {2014},
  doi = {10.1145/2593489.2593491},
  url = {http://doi.acm.org/10.1145/2593489.2593491},
  researchr = {https://researchr.org/publication/BollinR14},
  cites = {0},
  citedby = {0},
  pages = {3-9},
  booktitle = {Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014},
  editor = {Stefania Gnesi and Nico Plat},
  publisher = {ACM},
  isbn = {978-1-4503-2853-1},
}