The Usability of Formal Specification Representations

Babak Khazaei, Chris Roast. The Usability of Formal Specification Representations. In Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2001, Bournemouth, UK, April 17-20, 2001. pages 23, Psychology of Programming Interest Group, 2001. [doi]

@inproceedings{KhazaeiR01,
  title = {The Usability of Formal Specification Representations},
  author = {Babak Khazaei and Chris Roast},
  year = {2001},
  url = {http://ppig.org/library/paper/usability-formal-specification-representations},
  researchr = {https://researchr.org/publication/KhazaeiR01},
  cites = {0},
  citedby = {0},
  pages = {23},
  booktitle = {Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2001, Bournemouth, UK, April 17-20, 2001},
  publisher = {Psychology of Programming Interest Group},
}