User guidance for creating precise and accessible property specifications

Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke. User guidance for creating precise and accessible property specifications. In Michal Young, Premkumar T. Devanbu, editors, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006. pages 208-218, ACM, 2006. [doi]

@inproceedings{CobleighAC06:0,
  title = {User guidance for creating precise and accessible property specifications},
  author = {Rachel L. Cobleigh and George S. Avrunin and Lori A. Clarke},
  year = {2006},
  doi = {10.1145/1181775.1181801},
  url = {http://doi.acm.org/10.1145/1181775.1181801},
  researchr = {https://researchr.org/publication/CobleighAC06%3A0},
  cites = {0},
  citedby = {0},
  pages = {208-218},
  booktitle = {Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2005, Portland, Oregon, USA, November 5-11, 2006},
  editor = {Michal Young and Premkumar T. Devanbu},
  publisher = {ACM},
  isbn = {1-59593-468-5},
}