Author:
Bartocci Ezio,Falcone Yliès,Reger Giles
Publisher
Springer International Publishing
Reference34 articles.
1. Barrett, C., Deters, M., de Moura, L.M., Oliveras, A., Stump, A.: 6 Years of SMT-COMP. J. Autom. Reasoning 50(3), 243–277 (2013)
2. Lecture Notes in Computer Science;H Barringer,2012
3. Lecture Notes in Computer Science;E Bartocci,2019
4. Lecture Notes in Computer Science;E Bartocci,2014
5. Lecture Notes in Computer Science,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TOOLympics 2019: An Overview of Competitions in Formal Methods;Tools and Algorithms for the Construction and Analysis of Systems;2019