Polyhedron overapproximation for complexity reduction in static analysis
Published in International Journal of Computer Mathematics: Computer Systems Theory, 2018
Recommended citation: Yassamine Seladji, Zheng Qu. (2018). "Polyhedron overapproximation for complexity reduction in static analysis." International Journal of Computer Mathematics: Computer Systems Theory.
Download Paper