The top documents tagged [precise abstract operator]

Abstraction and Approximation via Abstract Interpretation:
Documents Abstraction and Approximation via Abstract Interpretation:

41 views