conference paper

Decision Procedures for Set-Valued Fields

Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2005
Workshop on Abstract Interpretation of Object-Oriented Languages
Type
conference paper
Author(s)
Kuncak, Viktor  orcid-logo
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
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10388