Titre
Decision Procedures for Set-Valued Fields
Publié dans
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
Date de création de la notice
2007-08-21