Publisher
Springer International Publishing
Reference56 articles.
1. Alexandru, G.: Specifying loops with contracts. Bachelor’s thesis, LMU Munich (2019)
2. Lecture Notes in Computer Science;D Beyer,2020
3. Beyer, D., Dangl, M., Wendler, P.: A unifying view on SMT-based software verification. J. Autom. Reason. (JAR) 60(3), 299–335 (2018)
4. Lecture Notes in Computer Science;D Beyer,2011
5. Lecture Notes in Computer Science;N Bjørner,2015
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献