%0 Conference Paper %1 conf/trustcom/GuoHWC22 %A Guo, Hui %A Hou, Chunyan %A Wang, Jinsong %A Chen, Chen %B TrustCom %D 2022 %I IEEE %K dblp %P 1072-1077 %T A K-Induction Method Extended with Value Analysis for C Program Safety Verification. %U http://dblp.uni-trier.de/db/conf/trustcom/trustcom2022.html#GuoHWC22 %@ 978-1-6654-9425-0

@inproceedings{conf/trustcom/GuoHWC22, added-at = {2023-03-27T00:00:00.000+0200}, author = {Guo, Hui and Hou, Chunyan and Wang, Jinsong and Chen, Chen}, biburl = {https://www.bibsonomy.org/bibtex/2088649a1a6e4d1129fbe06d0b3af87bb/dblp}, booktitle = {TrustCom}, crossref = {conf/trustcom/2022}, ee = {https://doi.org/10.1109/TrustCom56396.2022.00147}, interhash = {ba17ef4480d5532d28f0a0ad395a5964}, intrahash = {088649a1a6e4d1129fbe06d0b3af87bb}, isbn = {978-1-6654-9425-0}, keywords = {dblp}, pages = {1072-1077}, publisher = {IEEE}, timestamp = {2024-04-09T21:14:56.000+0200}, title = {A K-Induction Method Extended with Value Analysis for C Program Safety Verification.}, url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2022.html#GuoHWC22}, year = 2022 }