Field Constraint Analysis
2006
Files
Détails
Titre
Field Constraint Analysis
Auteur(s)
Wies, Thomas ; Kuncak, Viktor ; Lam, Patrick ; Podelski, Andreas ; Rinard, Martin
Publié dans
Proc. Int. Conf. Verification, Model Checking, and Abstract Interpratation
Date
2006
Note
See https://infoscience.epfl.ch/search.py?recid=110237&ln=en for full version.
Laboratoires
LARA
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LARA - Laboratoire d'analyse et de raisonnement automatisés
Travail hors EPFL
Papiers de conférence
Publié
Travail hors EPFL
Papiers de conférence
Publié
Date de création de la notice
2007-08-21