TY - CPAPER
AU - Christoph Schulze
AU - Rance Cleaveland
AU - Mikael Lindvall
BT - Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings
DO - 10.1007/978-3-319-92970-5\_3
LA - eng
PY - 2018
T2 - Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings
TI - Automated Specification Extraction and Analysis with Specstractor
UR - https://doi.org/10.1007/978-3-319-92970-5\_3
ER -