Author:
De Angelis Emanuele,Fioravanti Fabio,Pettorossi Alberto,Proietti Maurizio
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Lecture Notes in Computer Science;F. Alberti,2012
2. Bjørner, N., McMillan, K., Rybalchenko, A.: Program verification as satisfiability modulo theories. In: SMT 2012, pp. 3–11 (2012)
3. Lecture Notes in Computer Science;N. Bjørner,2013
4. Lecture Notes in Computer Science;A.R. Bradley,2006
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In: POPL 1977, pp. 238–252. ACM (1977)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献