Modular Pluggable Analyses for Data Structure Consistency
2006
Files
Détails
Titre
Modular Pluggable Analyses for Data Structure Consistency
Auteur(s)
Kuncak, Viktor ; Lam, Patrick ; Zee, Karen ; Rinard, Martin
Publié dans
IEEE Transactions on Software Engineering
Volume
32
Numéro
12
Pages
988-1005
Date
2006
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
Publications validées par des pairs
Travail hors EPFL
Articles de journaux
Publié
Publications validées par des pairs
Travail hors EPFL
Articles de journaux
Publié
Date de création de la notice
2007-08-21