Automated Specification Extraction and Analysis with Specstractor
| Author | |
| Year of Publication | 2018 |
| Conference Name | 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 |
| Download citation |