%0 Conference Paper %1 conf/setta/DingNW21 %A er Ding, Xue %A Niu, Jun %A Wang, Jia %B SETTA %D 2021 %E Qin, Shengchao %E Woodcock, Jim %E Zhang, Wenhui %I Springer %K dblp %P 299-319 %T API Usage Pattern Search Based on Model Checking. %U http://dblp.uni-trier.de/db/conf/setta/setta2021.html#DingNW21 %V 13071 %@ 978-3-030-91265-9

@inproceedings{conf/setta/DingNW21, added-at = {2021-11-29T00:00:00.000+0100}, author = {er Ding, Xue and Niu, Jun and Wang, Jia}, biburl = {https://www.bibsonomy.org/bibtex/255be3c7187c818884d0587a7146f47aa/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2021}, editor = {Qin, Shengchao and Woodcock, Jim and Zhang, Wenhui}, ee = {https://doi.org/10.1007/978-3-030-91265-9_16}, interhash = {594f4f7b5fd3a68642af859d13b4fea3}, intrahash = {55be3c7187c818884d0587a7146f47aa}, isbn = {978-3-030-91265-9}, keywords = {dblp}, pages = {299-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:48:11.000+0200}, title = {API Usage Pattern Search Based on Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2021.html#DingNW21}, volume = 13071, year = 2021 }