Implications of a Data Structure Consistency Checking System
2005
Files
Details
Title
Implications of a Data Structure Consistency Checking System
Author(s)
Kuncak, Viktor ; Lam, Patrick ; Zee, Karen ; Rinard, Martin
Published in
International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference)
Date
2005
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
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21