@inproceedings{36,
  author = {Christoph Schulze and Rance Cleaveland and Mikael Lindvall},
  title = {Automated Specification Extraction and Analysis with Specstractor},
  year = {2018},
  journal = {Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings},
  url = {https://doi.org/10.1007/978-3-319-92970-5\_3},
  doi = {10.1007/978-3-319-92970-5\_3},
  language = {eng},
}