%0 Conference Paper %1 conf/sefm/SchulzeCL18 %A Schulze, Christoph %A Cleaveland, Rance %A Lindvall, Mikael %B SEFM %D 2018 %E Johnsen, Einar Broch %E Schaefer, Ina %I Springer %K dblp %P 37-53 %T Automated Specification Extraction and Analysis with Specstractor. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2018.html#SchulzeCL18 %V 10886 %@ 978-3-319-92970-5

@inproceedings{conf/sefm/SchulzeCL18, added-at = {2019-09-18T00:00:00.000+0200}, author = {Schulze, Christoph and Cleaveland, Rance and Lindvall, Mikael}, biburl = {https://www.bibsonomy.org/bibtex/2dfe4c6269cb11f59ead831b97313f645/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2018}, editor = {Johnsen, Einar Broch and Schaefer, Ina}, ee = {https://doi.org/10.1007/978-3-319-92970-5_3}, interhash = {44539d8b513f84ee744b4e3c9e33fe54}, intrahash = {dfe4c6269cb11f59ead831b97313f645}, isbn = {978-3-319-92970-5}, keywords = {dblp}, pages = {37-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-19T11:48:53.000+0200}, title = {Automated Specification Extraction and Analysis with Specstractor.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2018.html#SchulzeCL18}, volume = 10886, year = 2018 }