Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Infoscience
English
French
Log In
Log in with EPFL account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Implications of a Data Structure Consistency Checking System
conference paper
Implications of a Data Structure Consistency Checking System
Kuncak, Viktor
•
Lam, Patrick
•
Zee, Karen
Show more
2005
International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference)
Files
Details
Metrics
Type
conference paper
Author(s)
Kuncak, Viktor
Lam, Patrick
Zee, Karen
Rinard, Martin
Date Issued
2005
Published in
International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference)
Written at
OTHER
EPFL units
LARA
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10386
