Author:
Alberti Francesco,Ghilardi Silvio,Sharygina Natasha
Publisher
Springer International Publishing
Reference18 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools. Addison-Wesley Educational Publishers, Incorporated (2007)
2. Lecture Notes in Computer Science;F. Alberti,2013
3. Lecture Notes in Computer Science;F. Alberti,2014
4. Alberti, F., Ghilardi, S., Sharygina, N.: Decision procedures for flat array properties. In: TACAS, pp. 15–30 (2014)
5. Alberti, F., Ghilardi, S., Sharygina, N.: A new acceleration-based combination framework for array properties, Avalilable from authors’ webpages (2015)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献