Author:
Demyanova Yulia,Veith Helmut,Zuleger Florian
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. C for yourself;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18
2. A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking;Knowledge Science, Engineering and Management;2022
3. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers;Fundamental Approaches to Software Engineering;2022
4. Recognition of Roles of Variables Based on Deep Learning Technologies;Communications in Computer and Information Science;2020
5. Empirical software metrics for benchmarking of verification tools;Formal Methods in System Design;2017-01-10