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
Generalized Typestate Checking for Data Structure Consistency
conference paper
Generalized Typestate Checking for Data Structure Consistency
Lam, Patrick
•
Kuncak, Viktor
•
Rinard, Martin
2005
Verification, Model Checking and Abstract Interpretation
Files
Details
Metrics
Type
conference paper
DOI
10.1007/978-3-540-30579-8_28
Author(s)
Lam, Patrick
Kuncak, Viktor
Rinard, Martin
Date Issued
2005
Published in
Verification, Model Checking and Abstract Interpretation
Start page
430
End page
447
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/10392
