conference paper
Decision Procedures for Set-Valued Fields
2005
Workshop on Abstract Interpretation of Object-Oriented Languages
Type
conference paper
Author(s)
Rinard, Martin
Date Issued
2005
Published in
Workshop on Abstract Interpretation of Object-Oriented Languages
Note
See http://infoscience.epfl.ch/search.py?recid=110224&ln=en for full version
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record