%0 Journal Article %1 journals/tr/YangTZDD21 %A Yang, Kai %A Tian, Cong %A Zhang, Nan %A Duan, Zhenhua %A Du, Hongwei %D 2021 %J IEEE Trans. Reliab. %K dblp %N 4 %P 1455-1467 %T A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. %U http://dblp.uni-trier.de/db/journals/tr/tr70.html#YangTZDD21 %V 70

@article{journals/tr/YangTZDD21, added-at = {2021-12-15T00:00:00.000+0100}, author = {Yang, Kai and Tian, Cong and Zhang, Nan and Duan, Zhenhua and Du, Hongwei}, biburl = {https://www.bibsonomy.org/bibtex/2a0a2a7a6110f8a49cc5a2af53b1ce736/dblp}, ee = {https://doi.org/10.1109/TR.2021.3118877}, interhash = {afb1e0f3936ed83d73e6f6fb42a8e18e}, intrahash = {a0a2a7a6110f8a49cc5a2af53b1ce736}, journal = {IEEE Trans. Reliab.}, keywords = {dblp}, number = 4, pages = {1455-1467}, timestamp = {2024-04-08T12:31:00.000+0200}, title = {A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs.}, url = {http://dblp.uni-trier.de/db/journals/tr/tr70.html#YangTZDD21}, volume = 70, year = 2021 }