Pages that link to "Item:Q3611999"

The following pages link to Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (Q3611999):

Displaying 2 items.

• Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
• A zonotopic framework for functional abstractions (Q5962973) (← links)