Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Software
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A K-Induction Method Extended with Value Analysis for C Program Safety Verification;2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2022-12
2. An Extention of Lazy Abstraction and Refinement for Program Verification;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06