Author:
Aspinall David,Atkey Robert,MacKenzie Kenneth,Sannella Donald
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. International Series in Pure and Applied Mathematics;L. Ahlfors,1979
2. Lecture Notes in Computer Science;E. Albert,2008
3. Lecture Notes in Computer Science;R. Atkey,2010
4. Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. Science of Computer Programming 58(1-2), 28–56 (2005)
5. Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming 72(1-2), 3–21 (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献