conference paper

Decision Procedures for Set-Valued Fields

Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2005
Workshop on Abstract Interpretation of Object-Oriented Languages