Title
Decision Procedures for Set-Valued Fields
Published in
Workshop on Abstract Interpretation of Object-Oriented Languages
Date
2005
Note
See https://infoscience.epfl.ch/search.py?recid=110224&ln=en for full version
Record creation date
2007-08-21