Modular Pluggable Analyses for Data Structure Consistency
2006
Files
Details
Title
Modular Pluggable Analyses for Data Structure Consistency
Author(s)
Kuncak, Viktor ; Lam, Patrick ; Zee, Karen ; Rinard, Martin
Published in
IEEE Transactions on Software Engineering
Volume
32
Issue
12
Pages
988-1005
Date
2006
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Record creation date
2007-08-21