Lightweight extraction of syntactic specifications

Mana Taghdiri, Robert Seater, Daniel Jackson. Lightweight extraction of syntactic 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 276-286, ACM, 2006. [doi]

@inproceedings{TaghdiriSJ06,
  title = {Lightweight extraction of syntactic specifications},
  author = {Mana Taghdiri and Robert Seater and Daniel Jackson},
  year = {2006},
  doi = {10.1145/1181775.1181809},
  url = {http://doi.acm.org/10.1145/1181775.1181809},
  researchr = {https://researchr.org/publication/TaghdiriSJ06},
  cites = {0},
  citedby = {0},
  pages = {276-286},
  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},
}