Investigating the readability of state-based formal requirements specification languages. Zimmerman, M. K., Lundqvist, K., & Leveson, N. G. In Tracz, W., Young, M., & Magee, J., editors, ICSE, pages 33-43, 2002. ACM.
Investigating the readability of state-based formal requirements specification languages. [link]Link  Investigating the readability of state-based formal requirements specification languages. [link]Paper  bibtex   
@inproceedings{conf/icse/ZimmermanLL02,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Zimmerman, Marc K. and Lundqvist, Kristina and Leveson, Nancy G.},
  biburl = {https://www.bibsonomy.org/bibtex/2c786217a06349563bb12496cc08f4f1b/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2002},
  editor = {Tracz, Will and Young, Michal and Magee, Jeff},
  ee = {https://doi.org/10.1145/581339.581347},
  interhash = {202a0aa8fad834fcadac252316b92147},
  intrahash = {c786217a06349563bb12496cc08f4f1b},
  keywords = {dblp},
  pages = {33-43},
  publisher = {ACM},
  timestamp = {2018-11-07T14:45:33.000+0100},
  title = {Investigating the readability of state-based formal requirements specification languages.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2002.html#ZimmermanLL02},
  year = 2002
}

Downloads: 0