Automated Specification Extraction and Analysis with Specstractor

TitleAutomated Specification Extraction and Analysis with Specstractor
Publication TypeConference Paper
Year of Publication2018
AuthorsSchulze, Christoph, Cleaveland Rance, and Lindvall Mikael
Conference NameSoftware Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings
URLhttps://doi.org/10.1007/978-3-319-92970-5\_3
DOI10.1007/978-3-319-92970-5\_3