Author:
Liu Tianhai,Tyszberowicz Shmuel,Herda Mihai,Beckert Bernhard,Grahl Daniel,Taghdiri Mana
Publisher
Springer International Publishing
Reference27 articles.
1. Lecture Notes in Computer Science;W Ahrendt,2014
2. Lecture Notes in Computer Science;T Ball,2004
3. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: Version 2.5. Technical report, The University of Iowa (2015)
4. Barros, J.B., da Cruz, C.D., Henriques, P.R., Pinto, J.S.: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2), 217–248 (2012)
5. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker Blast. STTT 9(5–6), 505–525 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献